You are here:
» Zongyuan Liu
About Aarhus University
Zongyuan Liu
PhD Student, Research Fellow
Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
ORCID: 0000-0001-9652-4869
- Published
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
ID: 193617554