V. Chapurlat is an author at IMT Mines Alès specializing in formal methods, formal verification, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2016–2016
1
1
Rows per page
1–1 of 1