![Virgile Prevosto](https://conf.researchr.org/getProfileImage/virgileprevosto/a265241f-69bc-4a46-b589-20f19813f46a/small.jpg?1711625981000)
Registered user since Mon 28 Jan 2019
Name:Virgile Prevosto
Country:France
Affiliation:CEA Tech List
Research interests:Formal Methods, Static Analysis, Formal Specifications
Contributions
STAF 2023-profile
View general profile
View general profile
Registered user since Mon 28 Jan 2019
Contributions