| Shelfclass_id | 4.B.3 |
| Sortkey | BICARREGUI, JUAN C |
| Authors | Juan C Bicarregui, John Fitzerald, Peter Lindsay, Richard Moore, Brian Ritchie |
| Title | Proof in VDM: A Practitioner's Guide |
| Publisher | Springer Pub. Co. |
| Year | 1994 |
| Languages | eng |
| Isbn | 354019813X |
| Series | Formal approaches to computing and information technology FACIT |
| Record date | 20071022 |
| Location | New York |