Scholar
Adriano Peron
Google Scholar ID: MUYY0vYAAAAJ
University of Trieste
Formal methods
model checking
logic for computer science
sofware engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,763
H-index
23
i10-index
56
Publications
20
Co-authors
0
