Validation of Smart Contracts through Automated Tooling

Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia

Detalhes bibliográficos
Autor principal: Conceição, Tomás Morgado de Carvalho (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2019
Assuntos:
Automação
Blockchain
NEO
Smart Contracts
Teste
Automation
Testing
Texto completo:http://hdl.handle.net/10316/86360
País:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/86360
Descrição
Resumo:Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia

Registros relacionados