Proof in VDM
Subtitle: case studies
By: J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.].
Contributors: Bicarregui, J.C. 1962-; Agerholm, Sten.
Series: Formal approaches to computing and information technology
Publisher: Springer-Verlag; Springer
Published: 1998
Place of publication: London; New York
Language: eng
Number of pages: 226
Subjects: Computer software -- Development -- Case studies.; Automatic theorem proving.
Notes: Includes bibliographical references and index.