| 1991 |
|---|
| 4 | | Søren Prehn,
W. J. Toetenel:
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
Springer 1991 |
| 3 | | Søren Prehn,
W. J. Toetenel:
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials
Springer 1991 |
| 2 | | Dines Bjørner,
Søren Prehn:
Formal Methods in Software Development: Requirements for a CASE.
Software Development Environments and CASE Technology 1991: 178-210 |
| 1987 |
|---|
| 1 | | Søren Prehn:
From VDM to RAISE.
VDM Europe 1987: 141-150 |
