S P ยท Soren Prehn
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Vdm 91: Formal Software Development Methods: 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: | 978-0-387-54868-5 (0-387-54868-8) | 1991 | W. J. Toetenel |
| Vdm 91: Formal Software Development Methods: Proceedings | 978-0-387-54834-0 (0-387-54834-3) | 1991 | |