Games in Design and Verification

  • Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Repair of boolean programs using games
Zeitraum12 Juli 2005
EreignistitelGames in Design and Verification
VeranstaltungstypKonferenz
OrtEdinburgh, Scotland, Großbritannien / Vereinigtes KönigreichAuf Karte anzeigen