Haifa Verification Conference 2014

Robert Könighofer (Redner/in)

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

Beschreibung

Talk: Automatic Error Localization for Software using Deductive Verification
Zeitraum19 Nov 2014
Gehalten amHaifa Verification Conference 2014
VeranstaltungstypKonferenz
OrtHaifa, Israel