Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

MLA

Dongol, and Elena Troubitsyna. Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer International Publishing, 2020.

APA

Dongol, D., & Troubitsyna, E. (2020). Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer International Publishing.

Chicago

Dongol, and Elena Troubitsyna. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. : Springer International Publishing, 2020.