ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Marco Bernardo
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 2019Author of Coherent Resolutions of Nondeterminism within the QAPL-track
Author of Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS within the QAPL-track
Show activities from other conferences

ETAPS 2019-profile
View general profile