J. C. Bicarregui

• Proof in VDM
• Proof in VDM: Case Studies
• Reasoning about VDM developments using the VDM support tool in Mural