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.); Summerskill, Karen, 1958-; Craigen, Dan, 1953- (London : British Computer Society, 1990)
Keywords: Computer software -- Validation -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Testing -- Congresses