IIC3800 - Tópicos en Ciencia de la Computación
Verificación Formal de Software
Profesores: Marcelo Arenas y Pablo Barceló



Aviso (5 de Julio): Están publicadas las notas del control 5 y las notas finales del curso.



[Programa | Clases | Guías | Notas | Links]