Haifa Verification Conference 2006

  • Stefan Simon Staber (Redner/in)

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

Beschreibung

Talk: Automatic Fault Localization for Property Checking
Zeitraum23 Okt. 2006
EreignistitelHaifa Verification Conference 2006
VeranstaltungstypKonferenz
OrtHaifa, IsraelAuf Karte anzeigen