FoREnSiC– an automatic debugging environment for C programs
statement of authorship
Roderick Bloem, ... Jaan Raik, Urmas Repinski, ... [et al.]
source
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
location of publication
Haifa
publisher
IBM Research Labs
year of publication
pages
p. 1-6 : ill
conference name, date
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
conference location
Haifa, Israel
notes
Bibliogr.: 16 ref
language
inglise
Bloem, R., Raik, J., Repinski, U. et al. FoREnSiC– an automatic debugging environment for C programs // Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]. Haifa : IBM Research Labs, 2012. p. 1-6 : ill.