何塞·伯纳多·巴罗斯;达妮拉·达克鲁兹;佩德罗·兰格尔·恩里克;豪尔赫·索萨·品托 基于断言的切片和切片图。 (英语) Zbl 1259.68119号 正式Asp。计算。 第217-248号第24页(2012年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Barros}等人,《形式Asp》。计算。24,第2号,217--248(2012;Zbl 1259.68119) 全文: 内政部 链接
纳塔莉亚·科卡什;克里斯蒂安·克劳斯;埃里克·德文克 Reo+(\mathrm{mCRL2}):服务组合中的模型检查数据流的框架。 (英语) Zbl 1259.68129号 正式Asp。计算。 24,第2期,187-216(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kokash}等人,正式Asp。计算。24,第2号,187--216(2012;Zbl 1259.68129) 全文: 内政部
安东尼奥·菲列里;卡洛·盖齐;佐丹奴坦布里利 自适应软件的正式方法:非功能需求的持续保证。 (英语) Zbl 1259.68123号 正式Asp。计算。 24,第2期,163-186(2012).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Filieri}等人,《正式Asp》。计算。24,第2号,163--186(2012;Zbl 1259.68123) 全文: 内政部 链接
JoséLuiz Fiadeiro(编辑);格内西、斯特凡尼亚(编辑);汤姆·迈鲍姆(编辑) 特刊:基于2010年9月13日至18日在意大利比萨举行的第八届IEEE软件工程和形式化方法国际会议上的陈述的扩展论文。 (英语) Zbl 1275.68019号 正式Asp。计算。24,第2期,161-302(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式