author : Derek Andrews

Books

• Practical Formal Methods with VDM. 1991, with Darrel C. Ince