Haifa Verification Conference

  • Stefan Simon Staber (Speaker)

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

Description

Talk: Automatic Fault Localization for Property Checking
Period23 Oct 2006
Event titleHaifa Verification Conference
Event typeConference
LocationHaifa, IsraelShow on map