Programming from specifications
Programming from specifications
The Z notation: a reference manual
The Z notation: a reference manual
Component-based software using RESOLVE
ACM SIGSOFT Software Engineering Notes
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Animating Z Specifications in SQL*Forms 3.0
Proceedings of the Z User Workshop
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Hi-index | 0.01 |