Jiapeng Wang - APSEC 2025

Tue 2 - Fri 5 December 2025 Macao, China

Registered user since Tue 9 Apr 2024

Name:Jiapeng Wang

Country:China

Affiliation:East China Normal University

Contributions

2025

APSEC

BDafny: A Formal Execution and Verification Framework of the BPMN 2.0 in Dafny

Show activities from other conferences

Using general profile