Krishnaji Desai

Latest

• Distributed Safety Verification Using Vertex Centric Programming Model