Verificação Formal de Sistemas Críticos

•  
• Visão geral
•  

Visão geral

research line of

• Desenvolvimento de Sistemas Críticos e Complexos  Grupo de Pesquisa