ETAPS 2019 (series) / Marco Bernardo
Registered user since Wed 10 Jul 2019
Name:Marco Bernardo
Affiliation:University of Urbino
Personal website:http://www.sti.uniurb.it/bernardo/
Contributions
| QAPL 2019 | Coherent Resolutions of Nondeterminism Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile