TY  - BOOK
AU  - 
AU  - Summerskill,Karen,1958-
AU  - Craigen,Dan,1953-
TI  - Formal methods for trustworthy computer system (FM 89): report from FM 89- ... 23-27 July 1989, Halifax, Canada 
SN  - 3540196358
PY  - 1990///
CY  - London
PB  - British Computer Society
KW  - Computer software
KW  - Validation
KW  - Congresses
KW  - Verification
KW  - Testing
ER  -