Options d’inscription
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: Ana Cristina Vieira de Melo
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.