Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings Biondi, Fabrizio Heftet / 2019 / Engelsk
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Aceto Luca Heftet / 2017 / Engelsk
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers Cuppens, Nora Heftet / 2018 / Engelsk
