![](https://www.pdfsearch.io/img/e19e71f76730d27efd17504920fe4d2f.jpg) Date: 2018-08-12 09:37:26
| | Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MAAdd to Reading ListSource URL: dept.cs.williams.eduDownload Document from Source Website File Size: 145,52 KBShare Document on Facebook
|