Paolo Baldan

Registered user since Tue 10 Jul 2018

Name:Paolo Baldan
Country:Italy
Affiliation:University of Padova
Research interests:formal methods, concurrency theory

Contributions

OPCT 2019 Author of Model Checking True Concurrency Properties within the OPCT 2019-track
POPL 2019 Author of Fixpoint Games on Continuous Lattices within the Research Papers-track