APA (7th ed.) Citation

FM Online & Huisman, M. (2021). Formal methods: 24th international symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings. Springer.

Chicago Style (17th ed.) Citation

FM Online and Marieke Huisman. Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021 : Proceedings. Cham: Springer, 2021.

MLA (9th ed.) Citation

FM Online and Marieke Huisman. Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021 : Proceedings. Springer, 2021.

Warning: These citations may not always be 100% accurate.