Haifa Verification Conference 2012

Robert Könighofer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: FoREnSiC - An Automatic Debugging Environment for C Programs
Zeitraum6 Nov 2012
Gehalten amHaifa Verification Conference 2012
VeranstaltungstypKonferenz
OrtHaifa, Israel