International Conference on Computer Aided Verification

  • Barbara Jobstmann (Speaker)

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

Description

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