Please use this identifier to cite or link to this item:
Author(s): Célio Gil Gouveia Rodrigues
Title: Property-based testing of ERC-20 smart contracts
Issue Date: 2020-11-05
Subject: Ciências exactas e naturais
Natural sciences
Scientific areas: Ciências exactas e naturais
Natural sciences
TID identifier: 202623599
Document Type: Dissertação
Rights: openAccess
Appears in Collections:FCUP - Dissertação

Files in This Item:
File Description SizeFormat 
441868.pdfProperty-based testing of ERC-20 smart contracts1.46 MBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.