S. Prehn

• VDM '91
• Vdm 91: Formal Software Development Methods