The programming language Z--
- 30 June 1995
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 37 (5) , 293-301
- https://doi.org/10.1016/0950-5849(95)99365-t
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Specifications are (preferably) executableSoftware Engineering Journal, 1992
- Software development: two approaches to animation of Z specifications using prologSoftware Engineering Journal, 1992
- An overview of MirandaACM SIGPLAN Notices, 1986
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975