Virgile Prevosto

No bio available. Add one in Open Library.

Books by Virgile Prevosto (50 max)

+ shelf+ list

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

2023

Virgile Prevosto, Cristina Seceleanu

+ shelf+ list

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

2024

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles