ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Giorgio Delzanno
Giorgio Delzanno

Not registered as user yet

Name: Giorgio Delzanno

Country: Italy

Affiliation: DIBRIS, University of Genova

Personal website: https://www.disi.unige.it/person/DelzannoG/

Contributions

SynCoP 2019Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
HCVS 2019Committee Member in Program Committee within the HCVS-track
Author of Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking within the HCVS-track
Show activities from other conferences

Using general profile