täiskirje prindi

FoREnSiC– an automatic debugging environment for C programs

autor
vastutusandmed
Roderick Bloem, ... Jaan Raik, Urmas Repinski, ... [et al.]
allikas
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
ilmumiskoht
Haifa
kirjastus/väljaandja
IBM Research Labs
ilmumisaasta
leheküljed
p. 260-265 : ill
seeria-sari
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7857
konverentsi nimetus, aeg
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
konverentsi toimumispaik
Haifa, Israel
leitav
ISSN
0302-9743
ISBN
978-364239610-6
märkused
Bibliogr.: 16 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
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, 2013. p. 260-265 : ill. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7857). https://doi.org/10.1007/978-3-642-39611-3_24