TY  - BOOK
AU  - Jones,Cliff B.
TI  - Systematic software development using VDM
T2  - Prentice Hall International series in computer science
SN  - 0138807337
PY  - 1990///
CY  - Nueva York
PB  - [S.n.]
KW  - DESARROLLO DE SOFTWARE
KW  - MÉTODOS FORMALES
KW  - VDM
N1  - Incluye bibliografía
ER  -