P. H. B. Gardiner;P. J. Lupton;Jim Woodcock
-;-;-
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering