Title: Proof in VDM
First published: 1994
Subjects: Development, Computer software, System design, Automatic theorem proving, Computer software, development