conf.researchr.org / Adi Prabawa
Not registered as user yet
Name:Adi Prabawa
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 |