Specification of a Specification Language
IFAC Proceedings Volumes1981Vol. 14(3), pp. 63–68
Related Papers
- → The Formal Specification Language mCRL2(2007)128 cited
- → An executable specification language for specification understanding in object-oriented specification reuse(1996)1 cited
- → Yet another meta-language for programming language processing(2002)3 cited
- An Object-oriented Formal Specification Language GOOZ(2002)
- Ada as a design specification language(1988)