APA-Zitierstil (7. Ausg.)

FM Oxford & Havelund, K. (2018). Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

FM Oxford und Klaus Havelund. Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : Proceedings. Cham: Springer, 2018.

MLA-Zitierstil (9. Ausg.)

FM Oxford und Klaus Havelund. Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : Proceedings. Springer, 2018.