Logo des Repositoriums
 
Zeitschriftenartikel

Praktische Programmverifikation durch statische Analyse

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2010

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Informatik-Spektrum: Vol. 33, No. 5

Verlag

Springer-Verlag

Zusammenfassung

Beschreibung

Seidl, Helmut (2010): Praktische Programmverifikation durch statische Analyse. Informatik-Spektrum: Vol. 33, No. 5. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 484-488

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Band 33 - Heft 5 (Oktober 2010)