![]() | ![]() |
1993 | ||
---|---|---|
2 | Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl: Semantics of PAnndA-S. PROSPECTRA Book 1993: 171-222 | |
1 | Thomas Grünler: Specification: Algebraic Specification. PROSPECTRA Book 1993: 35-53 |
1 | Michael Breu | [2] |
2 | Manfred Broy | [2] |
3 | Friederike Nickl | [2] |