
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