Pietro Ferrara profile picture

Pietro Ferrara

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Challenges of Software Verification
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Atlas Marrakech musei per la città storica