Handling unbounded loops with ESBMC 1.20 (competition contribution).

Simple item page
dc.contributor.authorMorse J
dc.contributor.authorCordeiro L
dc.contributor.authorNicole D
dc.contributor.authorFischer B
dc.date.accessioned2014-07-07T09:47:25Z
dc.date.available2014-07-07T09:47:25Z
dc.date.issued2013
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.identifier.citation7795
dc.identifier.citation619
dc.identifier.citation622
dc.identifier.urihttp://hdl.handle.net/10019.1/90953
dc.publisherSpringer
dc.titleHandling unbounded loops with ESBMC 1.20 (competition contribution).
dc.typeProceedings International
Files
Collections
2013 - Research Outputs (Non-Accredited)