FoREnSiC– an automatic debugging environment for C programs

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. 1-6 : ill
konverentsi nimetus, aeg
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
konverentsi toimumispaik
Haifa, Israel
märkused
Bibliogr.: 16 ref
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, 2012. p. 1-6 : ill.