Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings Fraser, Gordon Heftet / 2010 / Engelsk
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings Bonfanti, Silvia Heftet / 2023 / Engelsk
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings Börger, Egon Heftet / 2003 / Engelsk
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings Bonfanti, Silvia Heftet / 2024 / Engelsk
