ITEM VIEW

CSeq: A concurrency pre-processor for sequential C verification tools

dc.contributor.authorFischer B
dc.contributor.authorInverso O
dc.contributor.authorParlato G
dc.date.accessioned2014-07-07T09:47:24Z
dc.date.available2014-07-07T09:47:24Z
dc.date.issued2013
dc.identifier.citation710
dc.identifier.citation713
dc.identifier.urihttp://hdl.handle.net/10019.1/90950
dc.descriptionPlease 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.descriptionNatuurwetenskappe
dc.descriptionRekenaarwetenskap
dc.titleCSeq: A concurrency pre-processor for sequential C verification tools
dc.typeProceedings International


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

ITEM VIEW