Publication:2767179
From MaRDI portal
zbMath0983.68787MaRDI QIDQ2767179
Gianna Reggio, Lorenzo Repetto
Publication date: 28 January 2002
Related Items
A formal approach to object-oriented software engineering, Relating CASL with other specification languages: the institution level., CSP-CASL -- a new integration of process algebra and algebraic specification, Algebraic-coalgebraic specification in CoCASL
Uses Software