2
Publications
33
Citations
2
H-Index
2017
Active since
Affiliations
Università della Svizzera italiana(Current)
Matteo Marescotti is an author at Università della Svizzera italiana specializing in formal verification, formal methods, and software engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringSoftware Verification
Publications per year
2017–2022
2
2
Matteo Marescotti, Arie Gurfinkel, Antti E. J. Hyvärinen et al. · 2017 · 12 citations
Numerical Analysis, Algorithm Portfolios, Program Checking +25
Rows per page
1–2 of 2