Formal Aspects of and Development Environments for Montages (1997)

by Matthias Anlauff , Philipp W. Kutter , Alfonso Pierantonio
Citations:29 - 11 self

Document Versions

Formal Aspects of and Development Environments for Montages –Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio — 1997
Formal Aspects of and Development Environments for Montages –Matthias Anlauff, Philipp W. Kutter, Eidgenossische Technische Hochschule, Alfonso Pierantonio — 1997 — 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing
Formal Aspects and Development Environments of Montages –Matthias Anlauff, Philipp W. Kutter, Eidgenossische Technische Hochschule, Alfonso Pierantonio — 1997 — 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing