Carregando...
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos
Perfis
Meu perfil
Minha biblioteca
Métricas
Alertas
Configurações
Fazer login
Fazer login
Perfis
Meu perfil
Minha biblioteca
Gerard Holzmann
Nimble Research
E-mail confirmado em nimbleresearch.com
Citado por 23689
Software verification
logic model checking
Privacidade
Termos
Ajuda
Sobre o Google Acadêmico
Ajuda da Pesquisa