Logo des Repositoriums
 
Konferenzbeitrag

Lightweight Verification 2008

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

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