Profile Pic

News


ICLA and ALC co-located at IIT Bombay, Jan 5-10, 2015.

Current Course: July-November 2014: - CS 738 :Concepts, Algorithms and Tools in Model Checking