|
|
|
|
|
Z Plus PlusZ++ (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
|
 |
| |
|
|