3
Publications
98
Citations
3
H-Index
1988
Active since
Affiliations
Jean‐François Monin is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceVerificationSoftware DesignSystem SoftwareProof ComplexitySoftware SystemsSoftware AnalysisParallel Computing
Publications per year
1988–2009
3
3
Defending the Bank with a Proof Assistant
Judicaël Courant, Jean‐François Monin · 2006 · 18 citations
Rows per page
1–3 of 3