Registered user since Thu 25 Oct 2018
Name:Maurizio Proietti
Personal website:http://www.iasi.cnr.it/~proietti/
Contributions
| PEPM 2019 | Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile