TY  - BOOK
A1  -  edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
TI  - VDM '90 VDM and Z -- Formal Methods in Software Development : 
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90113520
UR  /book/90113520/VDM-90-VDM-and-Z-Formal-Methods-in-Software-De/
ER  -