Thi Thu Ha Doan - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Wed 4 May 2022

Name:Thi Thu Ha Doan

Affiliation:University of Freiburg

Contributions

2024

APLAS

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

Show activities from other conferences

Using general profile