文章基本信息

标题：X Meets Z: Verifying Correctness In The Presence Of POSIX Threads
本地全文：下载
作者：Bart Massey ; Robert Bauer
期刊名称：Rational Edge
出版年度：2003
卷号：2003
期号：Feb
出版社：International Business Machines Corporation

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有