TY  - BOOK
AU  - Sennett,Chris,ed
AU  - Ryan,Peter,ed
TI  - Formal methods in systems engineering
SN  - 3540197516
U1  - 620.7 
PY  - 1993///
CY  - New York
PB  - Springer-Verlag
KW  - Digital electronics
ER  -