Games in Design and Verification

  • Andreas Griesmayer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Repair of boolean programs using games
Period12 Jul 2005
Event titleGames in Design and Verification
Event typeConference
LocationEdinburgh, Scotland, United KingdomShow on map