JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Freund”
Stephen Freund
,
Shaz Qadeer
,
Checking Concise Specifications for Multithreaded Software
, pp. 81-101,
PDF
,
HTML
,
DOI
.
Volume 3, no. 6 (June 2004)