Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/132048
Autor(es): | Célio Gil Gouveia Rodrigues |
Título: | Property-based testing of ERC-20 smart contracts |
Data de publicação: | 2020-11-05 |
Assunto: | Ciências exactas e naturais Natural sciences |
Áreas do conhecimento: | Ciências exactas e naturais Natural sciences |
Identificador TID: | 202623599 |
URI: | https://hdl.handle.net/10216/132048 |
Tipo de Documento: | Dissertação |
Condições de Acesso: | openAccess |
Aparece nas coleções: | FCUP - Dissertação |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
441868.pdf | Property-based testing of ERC-20 smart contracts | 1.46 MB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.