Games in Design and Verification

Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Repair of boolean programs using games
Zeitraum12 Jul 2005
VeranstaltungstypKonferenz
OrtEdinburgh, Scotland, Großbritannien / Vereinigtes Königreich