Zeitschriftenartikel
Rapid Visualization of B Specifications containing Higher-Order Recursive Functions
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Softwaretechnik-Trends Band 26, Heft 2
Berichte aus den Fachgruppen und Arbeitskreisen
Verlag
Geselllschaft für Informatik e.V.