Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings Gotsman Alexey Heftet / 2020 / Engelsk
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings Kovács, Laura Heftet / 2024 / Engelsk
Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Laarman, Alfons Heftet / 2021 / Engelsk
