10 1 10 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings Esther Guerra Primary Author Mariëlle Stoelinga Primary Author mixed material 9783030715007 Springer Springer Nature 2021 9783030715007.pdf.jpg.jpg 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Heike Wehrheim Primary Author Jordi Cabot Primary Author mixed material 9783030452346 Cham Springer Nature 2020 2020_Book_FundamentalApproachesToSoftwar.pdf.jpg.jpg 37th International Conference, CAV 2025 Zagreb, Croatia, July 23–25, 2025 Proceedings, Part I Ruzica Piskac Primary Author Zvonimir Rakamarić Primary Author mixed material 9783031986680 Cham Springer Nature 2025 9783031986680.pdf.jpg.jpg 34th International Conference, CAV 2022Haifa, Israel, August 7–10, 2022Proceedings, Part II Sharon Shoham Primary Author Yakir Vizel Primary Author mixed material 9783031131882 Cham Springer Nature 2022 978-3-031-13188-2.pdf.jpg.jpg 31st International Conference, CAV 2019New York City, NY, USA, July 15–18, 2019Proceedings, Part I Isil Dillig Primary Author Serdar Tasiran Primary Author mixed material 9783030255404 https://www.springernature.com Springer Nature 2019 1006830.pdf.jpg.jpg 33rd International Conference, CAV 2021Virtual Event, July 20–23, 2021Proceedings, Part II Alexandra Silva Primary Author K. Rustan M. Leino Primary Author mixed material 9783030816889 Springer Springer Nature 2021 978-3-030-81688-9.pdf.jpg.jpg 36th International Conference, CAV 2024Montreal, QC, Canada, July 24–27, 2024Proceedings, Part III Arie Gurfinkel Primary Author Vijay Ganesh Primary Author mixed material 9783031656330 Springer Nature Switzerland Springer Nature 2024 978-3-031-65633-0.pdf.jpg.jpg 32nd International Conference, CAV 2020Los Angeles, CA, USA, July 21–24, 2020Proceedings, Part II Shuvendu K. Lahiri Primary Author Chao Wang Primary Author mixed material 9783030532918 Springer Springer Nature 2020 2020_Book_ComputerAidedVerification.pdf.jpg.jpg Designing a Scientific Computing System using OCaml Liang Wang Primary Author Jianxin Zhao Primary Author mixed material 9781484288535 Berkeley Springer Nature 2023 978-1-4842-8853-5.pdf.jpg.jpg Hana Chockler Primary Author Georg Weissenbacher Primary Author mixed material 9783319961453 Springer Nature 2018 1006839.pdf.jpg.jpg