Logo des Repositoriums
 
Zeitschriftenartikel

Rapid Visualization of B Specifications containing Higher-Order Recursive Functions

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2006

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Geselllschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Bendisposto, J.; Leuschel, M. (2006): Rapid Visualization of B Specifications containing Higher-Order Recursive Functions. Softwaretechnik-Trends Band 26, Heft 2. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Berichte aus den Fachgruppen und Arbeitskreisen

Schlagwörter

Zitierform

DOI

Tags