Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Verficação formal de modelos de Blockchain
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Bruno Lopes Vieira
tipo
master thesis
data de publicação
2019-01-01
Pesquisas
áreas de investigação
Lógicas e Semântica de Programas
palavras-chave
Blockchain
Lógica
Model Checking
Identidade
identificador BrCris
a5000a9a9814b92f45332d14b1c494fd