International Conference on Computer Aided Verification

  • Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Repair of boolean programs with an application to C
Zeitraum19 Aug. 2006
EreignistitelInternational Conference on Computer Aided Verification
VeranstaltungstypKonferenz
OrtBerlin, DeutschlandAuf Karte anzeigen