Proof in VDM : case studies /
Bicarregui, Juan C.
Agerholm, Sten.
London : Springer,
c1998.
Includes index
Computer software
Automatic theorem proving.