APA (7th ed.) Citation

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., SpringerLink (Online service), 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., SpringerLink (Online service), 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 ; New York: 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.