Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings Prevosto, Virgile Heftet / 2023 / Engelsk
Guide to Software Verification with Frama-C Core Components, Usages, and Applications Kosmatov, Nikolai Innbundet / 2024 / Engelsk
Guide to Software Verification with Frama-C Core Components, Usages, and Applications Kosmatov, Nikolai Heftet / 2025 / Engelsk
