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

First Page		Document Content
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, MA Add to Reading List Source URL: www.cs.williams.edu Download Document from Source Website File Size: 145,52 KB Share Document on Facebook