Konferenzbeitrag

Lightweight Verification 2008

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
965.pdf (141.4 KB)
Datum
2008
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2
Regular Research Papers
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
Beschreibung
Leucker, Martin; Seidl, Helmut (2008): Lightweight Verification 2008. INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-228-4. pp. 965-966. Regular Research Papers. München. 8.-13. September 2008
Schlagwörter
Zitierform
DOI
Tags
Sammlungen
P134 - INFORMATIK 2008 - Beherrschbare Systeme - dank Informatik - Band 2