Not registered as user yet

Name:Roberto Guanciale
Affiliation:KTH

Contributions

PriSC 2019 Author of Confidentiality-Preserving Refinement within the PriSC 2019-track