![](https://www.pdfsearch.io/img/ad2b5f89cc63485aa230eff592db4d8f.jpg) Date: 2017-06-23 18:20:16
| | Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,Add to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source Website File Size: 182,38 KBShare Document on Facebook
|