International Conference on Computer Aided Verification

  • Andreas Griesmayer (Speaker)

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

Description

Talk: Repair of boolean programs with an application to C
Period19 Aug 2006
Event titleInternational Conference on Computer Aided Verification
Event typeConference
LocationBerlin, GermanyShow on map