Handling unbounded loops with ESBMC 1.20 (competition contribution).

Date
2013
Authors
Morse J
Cordeiro L
Nicole D
Fischer B
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
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.
Natuurwetenskappe
Rekenaarwetenskap
Keywords
Citation
7795
619
622
URI
http://hdl.handle.net/10019.1/90953
Collections
2013 - Research Outputs (Non-Accredited)