Registered user since Thu 25 Oct 2018

Name: Maurizio Proietti

Country: Italy

Affiliation: CNR-IASI

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

Research interests: Programming languages, Verification, Constraints, Logic Programming

Contributions