Próxima Charla con Pitanza: Viernes 4 de junio a las 13.45 - Juan Pablo Galeotti - Verificación automática de programas usando SAT-Solving y SMT-Solving
Cambiar a contenido. | Saltar a navegación
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires
Secciones
Herramientas Personales
|
|
