iFM Online & Dongol, B. (2020). Integrated formal methods: 16th international conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings. Springer.
Chicago Style (17th ed.) CitationiFM Online and Brijesh Dongol. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : Proceedings. Cham: Springer, 2020.
MLA (9th ed.) CitationiFM Online and Brijesh Dongol. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : Proceedings. Springer, 2020.
Warning: These citations may not always be 100% accurate.