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

[Madhavan Mukund]

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

    https://www.dropbox.com/s/g3q6ecdr7e1yz04/NAL-Workshop.pdf

For more details, please contact:

    Manju Nanda <manjun at nal.res.in>
 
--Madhavan