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

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

Full contract verification for ATL using symbolic execution

Full contract verification for ATL using symbolic execution

Oakes, Bentley James; Troya, Javier; Lúcio, Levi; Wimmer, Manuel

期刊名称Software & Systems Modeling
作者Oakes, Bentley James; Troya, Javier; Lúcio, Levi; Wimmer, Manuel
印刷ISSN1619-1366
电子ISSN1619-1374
文件大小5045.21KB
发表时间2016-7-27
DOI10.1007/s10270-016-0548-7

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