Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Formal Verification of UML-Based Software
Documento
Visão geral
Identidade
Ver todos
Visão geral
orientado por
Nandamudi Lankalapalli Vijaykumar
tipo
doctoral thesis
autores
Luciana Brasil Rebelo dos Santos
data de publicação
2010-01-01
Identidade
identificador BrCris
7cbd0d5ebe46f3e465afa393b0677364