Juliandson Ferreira

According to our database1, Juliandson Ferreira authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A refinement-based approach to safe smart contract deployment and evolution.
Softw. Syst. Model., June, 2024

2022
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022


  Loading...