Acronym

VeriCliG

Principal Investigator

Diego Calvanese

Co-Investigator

Marco Montali

Project website

http://www.inf.unibz.it/~calvanese/projects/vericlig/

Funding Type

Other National / Other national funding

Start and end date

1 Feb 2013
31 Dec 2014