Haifa Verification Conference 2012

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: FoREnSiC - An Automatic Debugging Environment for C Programs
Zeitraum6 Nov. 2012
EreignistitelHaifa Verification Conference 2012
VeranstaltungstypKonferenz
OrtHaifa, IsraelAuf Karte anzeigen