Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

MLA

Huisman, Marieke, Corina Păsăreanu, and Naijun Zhan. Formal Methods : 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings. Cham: Springer International Publishing AG, 2021.

APA

Huisman, M., Păsăreanu, C., & Zhan, N. (2021). Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Cham: Springer International Publishing AG.

Chicago

Huisman, Marieke., Corina Păsăreanu, and Naijun Zhan. Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Cham: Springer International Publishing AG, 2021.