Return to search

Property-based testing of ERC-20 smart contracts

No description available.
Identiferoai:union.ndltd.org:up.pt/oai:repositorio-aberto.up.pt:10216/132048
Date05 February 2021
CreatorsCélio Gil Gouveia Rodrigues
ContributorsFaculdade de Ciências
Source SetsUniversidade do Porto
LanguageEnglish
Detected LanguageEnglish
TypeDissertação
Formatapplication/pdf
RightsopenAccess

Page generated in 0.0018 seconds