Record Citations

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, Craigen, D., & Summerskill, K. (1990). Formal methods for trustworthy computer systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada (1st ed. 1990.). Springer-Verlag. https://doi.org/10.1007/978-1-4471-3532-6

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, Dan Craigen, and Karen Summerskill. Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada. 1st ed. 1990. Berlin ; Heidelberg: Springer-Verlag, 1990. https://doi.org/10.1007/978-1-4471-3532-6.

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, et al. Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada. 1st ed. 1990. Springer-Verlag, 1990. https://doi.org/10.1007/978-1-4471-3532-6.

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, Craigen, D. & Summerskill, K. 1990. Formal methods for trustworthy computer systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada. 1st ed. 1990. Berlin ; Heidelberg: Springer-Verlag.