2 books • 1 series
Proof in VDM: A Practitioner’s Guide (Formal Approaches to Computing and Information Technology (FACIT))
mural: A Formal Development Support System