1
Publications
20
Citations
1
H-Index
2023
Active since
Affiliations
Nicolas Chappe is an author at California University of Pennsylvania specializing in formal verification, engineering, and program analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
2023–2023
1
1
Rows per page
1–1 of 1