![The Open Championship The Open Championship](https://www.pdfsearch.io/img/098ba48fa2781bfde4aba3bb58438eb5.jpg) Date: 2013-10-30 13:20:15The Open Championship | | Using Automated Theory Formation to Discover Invariants of Event-B models Maria Teresa Llano1 Andrew Ireland1 Alison Pease2 Gudmund Grov2 1 SchoolAdd to Reading ListSource URL: www.ai4fm.orgDownload Document from Source Website File Size: 2,09 MBShare Document on Facebook
|