CSeq: A concurrency pre-processor for sequential C verification tools
dc.contributor.author | Fischer B | |
dc.contributor.author | Inverso O | |
dc.contributor.author | Parlato G | |
dc.date.accessioned | 2014-07-07T09:47:24Z | |
dc.date.available | 2014-07-07T09:47:24Z | |
dc.date.issued | 2013 | |
dc.description | Please help populate SUNScholar with the full text of SU research output. Also - should you need this item urgently, please snd us the details and we will try to get hold of the full text as quick possible. E-mail to scholar@sun.ac.za. Thank you. | |
dc.description | Natuurwetenskappe | |
dc.description | Rekenaarwetenskap | |
dc.identifier.citation | 710 | |
dc.identifier.citation | 713 | |
dc.identifier.uri | http://hdl.handle.net/10019.1/90950 | |
dc.title | CSeq: A concurrency pre-processor for sequential C verification tools | |
dc.type | Proceedings International |