Current:
 |
Secyt-UNC, 2006: Técnicas Formales para la Verificación y el Desarrollo de Programas Reactivos. Funded by SeCyT - UNC (2006-2007). |
Previous:
|
SeCyT-UNC, 2005: Algoritmos Probabilísticos: Fundamentos y Aplicaciones. Funded by SeCyT - UNC (2005-2006). |