Vdm'87: Vdm-A Formal Method at Work : Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".