Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

MLA

Bouajjani, Ahmed, Lukás Holík, and Zhilin Wu. Automated Technology for Verification and Analysis : 20th International Symposium, Atva 2022, Virtual Event, October 25-28, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Bouajjani, A., Holík, L., & Wu, Z. (2022). Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Bouajjani, Ahmed., Lukás Holík, and Zhilin Wu. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.