Get started
Author

Horacio Mijail Antón Quiles

Observed names: Horacio M. A. Quiles, Horacio Mijail Antón Quiles
Observed institution: ConsenSys (United States)
ORCID: 0009-0009-7018-9711
Observed ORCID: 0009-0009-7018-9711
OpenAlex ID: A5088064998
Deductive Verification of Smart Contracts with Dafny
2022 · Franck Cassez, Joanne Fuller, et al. · Lecture notes in computer science · 27
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
2023 · Franck Cassez, Joanne Fuller, et al. · Lecture notes in computer science · 21
PDF
Deductive verification of smart contracts with Dafny
2024 · Franck Cassez, Joanne Fuller, et al. · International Journal on Software Tools for Technology Transfer · 5
PDF
Works count: 3
Citation count: 53
H-index: 3
I10-index: 2
Year
Topic
Type