FM Oxford, FloC, Havelund, K., Peleska, J., Roscoe, A. W., & Vink, E. d. 2. J. (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. https://doi.org/10.1007/978-3-319-95582-7
Chicago-Zitierstil (17. Ausg.)FM Oxford, FloC, Klaus Havelund, Jan Peleska, Andrew W. Roscoe, und Erik de 20. Jht Vink. 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. https://doi.org/10.1007/978-3-319-95582-7.
MLA-Zitierstil (9. Ausg.)FM Oxford, et al. 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. https://doi.org/10.1007/978-3-319-95582-7.