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
Event titleHaifa Verification Conference
Event typeConference
LocationHaifa, Israel