Articles matching “Qadeer”

  1. Stephen Freund, Shaz Qadeer, Checking Concise Specifications for Multithreaded Software, pp. 81-101, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access