Opciones de matriculación
Dar ao aluno o primeiro contato com métodos formais. Introduzir conceitos básicos para a verificação formal, assim como técnicas de demonstração de corretude de programas.
- Docente: Renata Wassermann
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.