Research project

Automated Reasoning Tools and Systems

Duration: from 01 November 2014 to 31 October 2018 (48 months) Finished

Leader