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. 260-265 : ill
series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7857
conference name, date
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
conference location
Haifa, Israel
ISSN
0302-9743
ISBN
978-364239610-6
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
category (general)
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, 2013. p. 260-265 : ill. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7857).