International Conference on Formal Methods in Computer-Aided Design

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Automated error localization and correction for imperative programs
Zeitraum31 Okt. 2011
EreignistitelInternational Conference on Formal Methods in Computer-Aided Design
VeranstaltungstypKonferenz
OrtAustin, Texas, USA / Vereinigte StaatenAuf Karte anzeigen