Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings Bouajjani Ahmed Heftet / 2017 / Engelsk
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Constable Robert L. Heftet / 2012 / Engelsk
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
