S. Prehn profile picture

S. Prehn

Is this your author profile? Create an account to claim and customize it!

Stand Alone

VDM '91: Conference contributions
VDM '91: formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee (Lecture Notes in Computer Science)
Vdm 91: Formal Software Development Methods : Proceedings (Lecture Notes in Computer Science)