Opzioni di iscrizione
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: Marcelo Finger
Gli ospiti non possono entrare in questo corso, per favore autenticati.