发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Software model checking takes off

Software model checking takes off

Miller, Steven P.; Whalen, Michael W.; Cofer, Darren D.

期刊名称Communications of the ACM
作者Miller, Steven P.; Whalen, Michael W.; Cofer, Darren D.
卷第53卷
期第2期
印刷ISSN0001-0782
文件大小5393.40KB
发表时间2010-02-01
DOI10.1145/1646353.1646372
页码58-64

← 返回【学霸图书馆】主页