Not registered as user yet

Name:Christoph Baumann
Affiliation:KTH

Contributions

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