Search

Checking Concise Specifications for Multithreaded Software

By: Stephen Freund, Shaz Qadeer

Cite as:

Stephen Freund, Shaz Qadeer, “Checking Concise Specifications for Multithreaded Software”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 81-101, doi:10.5381/jot.2004.3.6.a4.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn