APA (7th ed.) Citation

iFM Online, Dongol, B., & Troubitsyna, E. (2020). Integrated formal methods: 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, proceedings. Springer. https://doi.org/10.1007/978-3-030-63461-2

Chicago Style (17th ed.) Citation

iFM Online, Brijesh Dongol, and Elena Troubitsyna. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-63461-2.

MLA (9th ed.) Citation

iFM Online, et al. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, 2020. https://doi.org/10.1007/978-3-030-63461-2.