Automatic Fault Localization for Property Checking

Stefan Simon Staber, Goerschwin Fey, Roderick Paul Bloem, Rolf Drechsler

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelHaifa Verification Conference
Herausgeber (Verlag)Springer
PublikationsstatusAngenommen/In Druck - 2006
VeranstaltungHaifa Verification Conference 2006 - Haifa, Israel
Dauer: 23 Okt 200626 Okt 2006

Konferenz

KonferenzHaifa Verification Conference 2006
LandIsrael
OrtHaifa
Zeitraum23/10/0626/10/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren