SMT-based bounded model checking of C++ programs

Ramalho M; Freitas M; Sousa F; Marques H; Cordeiro L; Fischer B

SMT-based bounded model checking of C++ programs

Ramalho M ; Freitas M ; Sousa F ; Marques H ; Cordeiro L ; Fischer B (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

Please refer to this item in SUNScholar by using the following persistent URL: http://hdl.handle.net/10019.1/90951

VIEW METADATA

This item appears in the following collections:

2013 - Research Outputs (Non-Accredited) [1224]