APA (7th ed.) Citation

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., 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. Springer-Verlag.

Chicago Style (17th ed.) Citation

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., 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. London: Springer-Verlag, 1990.

MLA (9th ed.) Citation

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., 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. Springer-Verlag, 1990.