| Shelfclass_id | 3.A |
| Sortkey | VDM |
| Authors | Editors: Dines Bjørner, C. A. R. Hoare, Hans Langmaack |
| Title | VDM 1990: VDM '90: VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings |
| Publisher | Springer-Verlag |
| Year | 1990 |
| Languages | eng |
| Isbn | 0387525130, 3540525130 |
| Series | Lecture Notes in Computer Science |
| Volume | 428 |
| Issn | 0302-9743 |
| Description | xvii, 579 p. 25 cm |
| Record date | 20071029 |
| Location | New York |
| Keywords | Program development (Computers), Conference proceedings |
| Notes | Björner, Bjorner |