1
Publications
121
Citations
1
H-Index
2013
Active since
Michele Dorigatti is an author specializing in formal verification, software engineering, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingReal-time Systems
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1