Statistics
Publications
1
Citations
42
H-Index
1
Active since
1985
Affiliations
Politecnico di Milano(Current)
Enrico Guagnini is an author at Politecnico di Milano specializing in formal verification, verification, and automated reasoning.
Publications per year
1985–1985
1
1
1–1 of 1