Adi Prabawa

According to our database, Adi Prabawa authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

A Logical System for Modular Information Flow Verification.

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018