1
Publications
28
Citations
1
H-Index
2017
Active since
Affiliations
Olivier Blanvillain is an author at École Polytechnique Fédérale de Lausanne specializing in program analysis, software engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFunctional AnalysisSoftware Engineering
Publications per year
2017–2017
1
1
Rows per page
1–1 of 1