Guide to Software Verification with Frama-CNikolai Kosmatov, Virgile Prevosto, Julien Signoles · First published 2024Open the Tome
