Horacio Mijail Anton Quiles

Orcid: 0009-0009-7018-9711

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deductive verification of smart contracts with Dafny.
Int. J. Softw. Tools Technol. Transf., April, 2024

2023
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.
Proceedings of the Formal Methods - 25th International Symposium, 2023


  Loading...