Juliandson Ferreira

dblp:320/4947 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021
YearPublicationVenuePosition
2024 A refinement-based approach to safe smart contract deployment and evolution
Pedro R. G. Antonino, Juliandson Ferreira, Augusto Sampaio 0001, A. W. Roscoe 0001, Filipe Arruda
Softw. Syst. Model.2
2022 Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Pedro R. G. Antonino, Juliandson Ferreira, Augusto Sampaio 0001, A. W. Roscoe 0001
SEFM2