Lenguaje de dominio específico para modelar problemas de planificación automatizada clásica (2012)
Magíster en Ingeniería de Sistemas y Computación