1. Repositório Aberto da Universidade do Porto
  2. FCUP - Faculdade de Ciências
  3. FCUP - Dissertação
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/132048
Full metadata record
DC FieldValueLanguage
dc.creatorCélio Gil Gouveia Rodrigues
dc.date.accessioned2026-01-12T00:54:20Z-
dc.date.available2026-01-12T00:54:20Z-
dc.date.issued2020-11-05
dc.date.submitted2021-02-05
dc.identifier.othersigarra:441868
dc.identifier.urihttps://hdl.handle.net/10216/132048-
dc.language.isoeng
dc.rightsopenAccess
dc.subjectCiências exactas e naturais
dc.subjectNatural sciences
dc.titleProperty-based testing of ERC-20 smart contracts
dc.typeDissertação
dc.contributor.uportoFaculdade de Ciências
dc.identifier.doi10.34626/erad-xq84
dc.identifier.tid202623599
dc.subject.fosCiências exactas e naturais
dc.subject.fosNatural sciences
thesis.degree.disciplineMestrado em Segurança Informática
thesis.degree.grantorFaculdade de Ciências
thesis.degree.grantorUniversidade do Porto
thesis.degree.level1
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
View/Open
Show simple item record Recommend this item Display Statistics


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