International Conference on Formal Methods in Computer-Aided Design

  • Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science 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 StatesShow on map