Paolo Torroni

PT

46

Publications

2.5K

Citations

23

H-Index

2001

Active since

Paolo Torroni is an author at University of Bologna specializing in engineering, automated reasoning, and formal verification.

Publications per year

2001–2024

46

Publications

46