Program Repair as a Game

Barbara Jobstmann, Andreas Griesmayer, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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 Juli 2005 → 10 Juli 2005

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtEdinburgh
Zeitraum6/07/05 → 10/07/05

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Zugriff auf Dokument

  • 1 Abgeschlossen

  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/04 → 31/12/06

    Projekt: Forschungsprojekt

Dieses zitieren