Modular verification of multithreaded programs
Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia
- 作者Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia
- 卷第338卷
- 印刷ISSN0304-3975
- 文件大小329.95KB
- 发表时间2005
- DOI10.1016/j.tcs.2004.12.006
- 页码153-183