Robin Sierra

According to our database¹, Robin Sierra authored at least 3 papers in 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Rich Specifications for Ethereum Smart Contract Verification (Artifact).

[DOI]

Dataset, September, 2021

Rich specifications for Ethereum smart contract verification.

[DOI]

Proc. ACM Program. Lang., 2021

Modular Verification of Collaborating Smart Contracts.

[DOI]

CoRR, 2021