Maurizio Proietti - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Thu 25 Oct 2018

Name:Maurizio Proietti

Personal website: http://www.iasi.cnr.it/~proietti/

Contributions

2019

PEPM

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