Nicolas Pierron is an author at Utrecht University specializing in software design, formal verification, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingOperating SystemsSoftware AnalysisFormal Verification
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1