Nicolas Petitprez is an author at Université de Lille specializing in program transformation, formal methods, and system software.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsSoftware Testing
Publications per year
2006–2015
2
2
Rows per page
1–2 of 2