First Page | Document Content | |
---|---|---|
Date: 2012-05-15 19:38:07 | First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012Add to Reading ListSource URL: cedeela.frDownload Document from Source WebsiteFile Size: 1.018,18 KBShare Document on Facebook |