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