Validation of Smart Contracts through Automated Tooling

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

Bibliographic Details
Main Author: Conceição, Tomás Morgado de Carvalho (author)
Format: masterThesis
Language:eng
Published: 2019
Subjects:
Online Access:http://hdl.handle.net/10316/86360
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/86360