Skip to main content
Paca
  • Home
  • More
English ‎(en)‎
English ‎(en)‎ Português - Brasil ‎(pt_br)‎
You are currently using guest access
Log in
Home
  1. Semestres anteriores
  2. Summary

Course info

MAC5732 Introdução à Verificação de Programas

Verificação Formal

  • Professor: Ana Cristina Vieira de Melo

You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle