Scholar
Alberto Momigliano
Google Scholar ID: QTYco7IAAAAJ
DI, University of Milan
Logical frameworks
formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,155
H-index
19
i10-index
29
Publications
20
Co-authors
0
Publications
1 items
Barbed Similarity for the $π$-Calculus in Beluga: A Case Study in Coinductive Reasoning
2026
Cited
0
