Perfil do Autor
dos Santos, Luciana Brasil Rebelo, Instituto Federal de Educação Ciência e Tecnologia de São Paulo - IFSP - Câmpus Caraguatatuba - Caraguatatuba - SP - Brasil, Brasil
-
2018 - Informática
XMITS 3.1: APLICAÇÃO DE VERIFICAÇÃO FORMAL COM APOIO COMPUTACIONAL
Resumo
PDF