Repair with On-The-Fly Program Analysis

Robert Könighofer, Roderick Paul Bloem

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

Originalspracheenglisch
TitelHardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Herausgeber (Verlag)Springer
Seiten56-71
Band7857
ISBN (Print)978-3-642-39610-6
PublikationsstatusVeröffentlicht - 2012
VeranstaltungHaifa Verification Conference 2012 - Haifa, Israel
Dauer: 6 Nov 20128 Nov 2012

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzHaifa Verification Conference 2012
LandIsrael
OrtHaifa
Zeitraum6/11/128/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren