Program Verification And Automated Theorem Proving

Presented @ XConf, ThoughtWorks, Chennai

Posted in Labels: , |

0 comments: