conf.researchr.org / Dominique Unruh
Registered user since Mon 5 Nov 2018
Name: Dominique Unruh
Affiliation: University of Tartu
Contributions
| PLanQC 2020 | Committee Member in Program Committee within the PLanQC-track |
| POPL 2019 | Author of Quantum Relational Hoare Logic within the Research Papers-track |