Proyecto de investigación
Automated Reasoning Tools and Systems
date_range
Duración del 01 de noviembre de 2014 al 31 de octubre de 2018
(48 meses)
Finalizó