An R&D Centre at IIT Bombay

Centre for Formal Design and Verification of Software
Basement Mathematics Department
Indian Institute of Technology Bombay
Powai Mumbai
INDIA 400 076.

E-Mail: office [AT] cfdvs.iitb.ac.in
Phone: +91 22 25768701
Fax: +91 22 25729002