Barnabas Arvay -

Not registered as user

Name:Barnabas Arvay

Affiliation:University of Freiburg

Contributions

2024

ECOOP

Author of A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson within the Technical Papers-track