APA-Zitierstil (7. Ausg.)

(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.

Chicago-Zitierstil (17. Ausg.)

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 u.a: Springer, 1990.

MLA-Zitierstil (9. Ausg.)

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, 1990.