Formal methods fact file : VDM and Z - Harry, Andrew (Chichester [England] : John Wiley & Sons, 1996)
Includes bibliographical references (p. 365-366) and index.
Keywords: Computer software -- Development; Formal methods (Computer science)