Horacio Mijail Anton Quiles

According to our database, Horacio Mijail Anton Quiles authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Deductive Verification of Smart Contracts with Dafny.

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles

Proceedings of the Formal Methods for Industrial Critical Systems, 2022