[FM-India] Formal Methods Workshop, NAL Bangalore, April 8

Madhavan Mukund madhavan at cmi.ac.in
Wed Mar 20 17:41:19 IST 2013

Here is a link to the brochure for a Formal Methods Workshop at NAL on
Monday, April 8.


For more details, please contact:

    Manju Nanda <manjun at nal.res.in>

More information about the FMIndia mailing list