Haifa Verification Conference

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automatic Error Localization for Software using Deductive Verification
Period19 Nov 2014
Held atHaifa Verification Conference
Event typeConference
LocationHaifa, Israel