SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Paola Giannini

Registered user since Sat 4 Jun 2016

Name:Paola Giannini
Country:Italy
Affiliation:Universita' del Piemonte Orientale
Research interests:Logic semantics and type systems of programming languages and systems

Contributions

Unsound 2022 Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
Show activities from other conferences

Using general profile