Haifa Verification Conference

Stefan Simon Staber (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automatic Fault Localization for Property Checking
Period23 Oct 2006
Held atHaifa Verification Conference
Event typeConference
LocationHaifa, Israel