Mr. Surajit Roy

Formal Methods Laboratory
Department of Computer Science and Engineering
Indian Institute of Technology
Email: surajit[DOT]roy[AT]cse[DOT]iitkgp[DOT]ernet[DOT]in