Guide to Software Verification with Frama-C Core Components, Usages, and Applications Kosmatov, Nikolai Innbundet / 2024 / Engelsk
