TAP 2023
Tue 18 - Wed 19 July 2023 Leicester, United Kingdom
co-located with STAF 2023
STAF 2023 (series) / TAP 2023 (series) / Paolo Baldan
Paolo Baldan

Registered user since Tue 10 Jul 2018

Name:Paolo Baldan
Country:Italy
Affiliation:University of Padova
Personal website: https://www.math.unipd.it/~baldan
Research interests:formal methods, concurrency theory

Contributions

Show activities from other conferences

STAF 2023-profile
View general profile