Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA - Williamstown - Document - PDFSEARCH.IO

First Page	Meta Content
	Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA Add to Reading List Document Date: 2018-08-12 09:37:26 Open Document File Size: 145,52 KB Share Result on Facebook

Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MAAdd to Reading List