Program Verification And Automated Theorem Proving

Posted On Sunday, October 31, 2010 at at 1:20 AM by Lokesh  

Presented @ XConf, ThoughtWorks, Chennai

Program Verification / Automated Theorem Proving
View more presentations from lokeshwer2.

Posted in Labels: , |

0 comments:

Post a Comment

Subscribe to: Post Comments (Atom)