Author

Virgile Prevosto

2 books found

Cover of Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles · First published 2024

Cover of Tests and Proofs

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu · First published 2023