FoREnSiC– an automatic debugging environment for C programs
Bloem, Roderick
;
Raik, Jaan
;
Repinski, Urmas
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
2013
/
p. 260-265 : ill
https://doi.org/10.1007/978-3-642-39611-3_24
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84880729810&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39611-3_24%29&sessionSearchId=34385ac6d8e7d4f5a83143ddce81b33e