1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Program debugging using constraints – Is it feasible?
Zeitraum17 Juli 2011
Ereignistitel1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
VeranstaltungstypKonferenz
OrtMadrid, SpanienAuf Karte anzeigen