Auflistung nach Autor:in "Seidl, Helmut"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAnnotiertes Lecture Recording(DeLFI 2004: Die 2. e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft für Informatik e.V. (GI) 6.-8. September 2004 in Paderborn, 2004) Ziewer, Peter; Seidl, Helmut
- KonferenzbeitragLightweight Verification 2008(INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2, 2008) Leucker, Martin; Seidl, Helmut
- ZeitschriftenartikelPraktische Programmverifikation durch statische Analyse(Informatik-Spektrum: Vol. 33, No. 5, 2010) Seidl, Helmut