SMT-based bounded model checking of C++ programs
; ; ; ; ; (2013)
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
Proceedings International