Title: Vdm'87: Vdm-A Formal Method at Work
Subjects: Development, Computer software industry, Congresses, Computer software