Registered user since Wed 10 Jul 2019
Name: Marco Bernardo
Affiliation: University of Urbino
Personal website: http://www.sti.uniurb.it/bernardo/
Contributions
| OPCT 2019 | Author of ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences within the OPCT 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile