Games in Design and Verification

Andreas Griesmayer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Repair of boolean programs using games
Period12 Jul 2005
Held atGames in Design and Verification
Event typeConference
LocationEdinburgh, Scotland, United Kingdom