ECOOP 2020 (series) / Pietro Barbieri
Not registered as user yet
Name: Pietro Barbieri
Affiliation: Università di Genova
Contributions
| ECOOP 2020 | Author of Sound regular corecursion in coFJ within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile