Authors Search About

Delzanno, Giorgio

1 publications

AAAI 2015 Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy