Andrews, Derek Ince, Darrel
Practical Formal Methods with VDM - London McGraw-Hill Book Company 1991 - p.450
9780077072148
Computer Software Data Refinement
621.3819642 A566P
Practical Formal Methods with VDM - London McGraw-Hill Book Company 1991 - p.450
9780077072148
Computer Software Data Refinement
621.3819642 A566P