1
Publications
31
Citations
1
H-Index
1984
Active since
Michel Montbernard is an author specializing in formal specification, systems engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningDistributed Systems
Publications per year
1984–1984
1
1
Rows per page
1–1 of 1