Program Repair as a Game

Barbara Jobstmann, Andreas Griesmayer, Roderick Paul Bloem

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

Originalspracheenglisch
TitelComputer Aided Verification
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten226-238
Band3576
ISBN (Print)3-540-27231-3
DOIs
PublikationsstatusVeröffentlicht - 2005
VeranstaltungInternational Conference on Computer Aided Verification - Edinburgh, Großbritannien / Vereinigtes Königreich
Dauer: 6 Jul 200510 Jul 2005

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
LandGroßbritannien / Vereinigtes Königreich
OrtEdinburgh
Zeitraum6/07/0510/07/05

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren