Formal methods for trustworthy computer system (FM 89) : report from FM 89- ... 23-27 July 1989, Halifax, Canada /
Workshop on the Assesment of Formal Methods for Trustworthy Computer Systems (1989 : Halifax, N. S.)
Formal methods for trustworthy computer system (FM 89) : report from FM 89- ... 23-27 July 1989, Halifax, Canada / Dan Craigen (editor) and Karen Summerskill (assistant editor) - London : British Computer Society, 1990 - 248 p. ; 24 cm. - Workshops in computing .
3540196358
90-010317
Computer software--Validation--Congresses
Computer software--Verification--Congresses
Computer software--Testing--Congresses
Formal methods for trustworthy computer system (FM 89) : report from FM 89- ... 23-27 July 1989, Halifax, Canada / Dan Craigen (editor) and Karen Summerskill (assistant editor) - London : British Computer Society, 1990 - 248 p. ; 24 cm. - Workshops in computing .
3540196358
90-010317
Computer software--Validation--Congresses
Computer software--Verification--Congresses
Computer software--Testing--Congresses