图沙尔·沙尔马;代表,托马斯 仿射变换的新抽象框架。 (英语) Zbl 1425.68084号 形式方法系统。设计。 54,第110-143号(2019).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sharma}和\textit{T.Reps},表单方法系统。设计。54,编号1,110--143(2019;Zbl 1425.68084) 全文: 内政部 链接
威廉·R·哈里斯。;Jha,萨默什;代表,Thomas W。;Sanjit A.Seshia。 交互式安全系统的程序合成。 (英语) Zbl 1386.68032号 形式方法系统。设计。 51,第2期,362-394(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Harris}等人,《形式方法系统》。设计。51,No.2,362--394(2017;Zbl 1386.68032) 全文: 内政部 链接
阿卡什·拉尔;代表,托马斯 减少上下文绑定到顺序分析的并发分析。 (英语) Zbl 1186.68298号 形式方法系统。设计。 35,第1期,73-97(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lal}和\textit{T.Reps},表格方法系统。设计。35,编号1,73--97(2009;Zbl 1186.68298) 全文: 内政部 链接