conf.researchr.org / Benedict Lee
Not registered as user yet
Name:Benedict Lee
Affiliation:National University of Singapore
Contributions
| VMCAI 2018 | Author of A Logical System for Modular Information Flow Verification within the VMCAI 2018-track |
Not registered as user yet
Contributions
| VMCAI 2018 | Author of A Logical System for Modular Information Flow Verification within the VMCAI 2018-track |