Haifa Verification Conference

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: FoREnSiC - An Automatic Debugging Environment for C Programs
Period6 Nov 2012
Held atHaifa Verification Conference
Event typeConference
LocationHaifa, Israel