International Conference on Computer Aided Verification

  • Barbara Jobstmann (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Program Repair as a Game
Period8 Jul 2005
Event titleInternational Conference on Computer Aided Verification
Event typeConference
LocationBerlin, Germany