SMT-based bounded model checking of C++ programs
dc.contributor.author | Ramalho M | |
dc.contributor.author | Freitas M | |
dc.contributor.author | Sousa F | |
dc.contributor.author | Marques H | |
dc.contributor.author | Cordeiro L | |
dc.contributor.author | Fischer B | |
dc.date.accessioned | 2014-07-07T09:47:24Z | |
dc.date.available | 2014-07-07T09:47:24Z | |
dc.date.issued | 2013 | |
dc.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. | |
dc.description | Natuurwetenskappe | |
dc.description | Rekenaarwetenskap | |
dc.identifier.citation | 147 | |
dc.identifier.citation | 267 | |
dc.identifier.uri | http://hdl.handle.net/10019.1/90951 | |
dc.publisher | Conference Publishing Services | |
dc.title | SMT-based bounded model checking of C++ programs | |
dc.type | Proceedings International |