Zeitschriftenartikel
Konstruktion korrekter Programme durch Transformation
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Datum
1987
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Informatik Spektrum: Vol. 10, No. 6
Verlag
Springer-Verlag