Login / Signup
Adi Prabawa
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Multi Threaded
Information Flows
Reactive Systems
Communication Networks
Top Venues
VMCAI
</>
Publications
</>
Adi Prabawa
,
Mahmudul Faisal Al Ameen
,
Benedict Lee
,
Wei-Ngan Chin
A Logical System for Modular Information Flow Verification.
VMCAI
(2018)