Portrait of author Virgile Prevosto

Virgile Prevosto

No biography available

Books by Virgile Prevosto

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Virgile Prevosto, Cristina Seceleanu

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles