Julien Signoles

• Guide to Software Verification with Frama-C