International Conference on Computer Aided Verification

Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Repair of boolean programs with an application to C
Zeitraum19 Aug 2006
VeranstaltungstypKonferenz
OrtBerlin, Deutschland