Z++ (pronounced zed plus plus) is a proposed object-oriented extension to the Z specification language.
References
- Z++, an Object-Oriented Extension to Z, Lano, Z User Workshop, Oxford 1990, Springer Workshops in Computing, 1991, pp.151-172
Last updated: 05-22-2005 00:43:32