Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings Kosmatov, Nikolai Heftet / 2024 / Engelsk
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings Blanchette Jasmin Christian Heftet / 2015 / Engelsk
Guide to Software Verification with Frama-C Core Components, Usages, and Applications Kosmatov, Nikolai Innbundet / 2024 / Engelsk
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings Gaston, Christophe Heftet / 2019 / Engelsk
