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

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

Assuring property conformance of code generators via model checking

Assuring property conformance of code generators via model checking

Sven Jörges; Tiziana Margaria; Bernhard Steffen

作者Sven Jörges; Tiziana Margaria; Bernhard Steffen
卷第23卷
期第5期
印刷ISSN0934-5043
电子ISSN1433-299X
文件大小1070.00KB
发表时间2011-09
DOI10.1007/s00165-010-0169-9
页码589-606

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