Haifa Verification Conference

  • Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: FoREnSiC - An Automatic Debugging Environment for C Programs
Period6 Nov 2012
Event titleHaifa Verification Conference
Event typeConference
LocationHaifa, IsraelShow on map