Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II Silva Alexandra Heftet / 2021 / Engelsk
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I Silva Alexandra Heftet / 2021 / Engelsk
Logic, Language, Information, and Computation 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings Silva Alexandra Heftet / 2021 / Engelsk
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers Silva Alexandra Heftet / 2019 / Engelsk
