A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. - Barnabas Arvay; Thi Thu Ha Doan; Peter Thiemann 001 (ECOOP, 2024)