TY  - BOOK
AU  - Peter No Ryan,Chris No Sennett
AU  - Sennett,Chris
TI  - FORMAL METHODS IN SYSTEMS ENGINEERING
SN  - 3540197516
U1  - 620.001171 
PY  - 1993///
CY  - 
PB  - Springer-Verlag, London
KW  - Systems Engineering
ER  -