Bookmark and Share
Blog powered by Typepad
Member since 03/2007

Become a Fan

« Dreams Are Free | Main | Expanding Scope of DO-178C »

May 09, 2012

Comments

Feed You can follow this conversation by subscribing to the comment feed for this post.

dasbiswajite

The purpose is to invite students to try and think which obvious step the author has skipped while proving a theorem.http://www.automateandvalidate.com

The comments to this entry are closed.

My Photo

Life sometimes turns on a dime. Especially when you are actively looking out for a change. I now work at HCL Technologies. And all I am looking for is to make a difference. By the way, the blog contents remain my own. It does not reflect the official position of HCL.

Your email address:


Powered by FeedBlitz