
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 | ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile