International Conference on Formal Methods in Computer-Aided Design

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automated error localization and correction for imperative programs
Period31 Oct 2011
Event titleInternational Conference on Formal Methods in Computer-Aided Design
Event typeConference
LocationAustin, Texas, United States