Peter Thiemann - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Fri 10 Apr 2015

Name:Peter Thiemann

Affiliation:University of Freiburg, Germany

Contributions

2024

APLAS

A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution

Show activities from other conferences

Using general profile