Repair of boolean programs with an application to C

Andreas Griesmayer, Roderick Paul Bloem, Cook Byron

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

Originalspracheenglisch
TitelComputer Aided Verification
Herausgeber (Verlag)Springer
Seiten358-371
Band4144
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Conference on Computer Aided Verification - Seattle, Washington, USA / Vereinigte Staaten
Dauer: 15 Aug 200620 Aug 2006

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
LandUSA / Vereinigte Staaten
OrtSeattle, Washington
Zeitraum15/08/0620/08/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren