Concepedia
Statistics
Publications
2
Citations
56
H-Index
Active since
1993
Massimo Fabris is an author specializing in program analysis, verification, and formal verification.
Top concepts
StatisticsEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1993–1997
Automatic inference of norms: a missing link in automatic termination analysis
Stefaan Decorte, Danny De Schreye, Massimo Fabris · International Conference on Logic Programming · 1993 · 46 citations
Automatic Inference, Engineering, Program Analysis +10
Exploiting the power of typed norms in automatic inference of interargument relations
Stefaan Decorte, Danny De Schreye, Massimo Fabris · Lirias (KU Leuven) · 1997 · 10 citations · Full text
Rows per page
1–2 of 2