Barnabas Arvay - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Not registered as user yet

Name:Barnabas Arvay

Affiliation:University of Freiburg

Contributions

2024

ECOOP

A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile