International Conference on Computer Aided Verification

Andreas Griesmayer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Repair of boolean programs with an application to C
Period19 Aug 2006
Held atInternational Conference on Computer Aided Verification
Event typeConference
LocationBerlin, Germany