SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (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

SPLASH 2024-profile
View general profile