弗洛里安·布兰德尔;费利克斯·勃兰特;曼纽尔·埃贝尔;基斯特,克里斯蒂安 通过SMT求解证明了效率和策略性的不相容性。 (英语) Zbl 1425.68385号 美国临床医学杂志 65号第2条第6条第28页(2018年).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Brandl}et al.,J.ACM 65,No.2,Article No.6,28 p.(2018;Zbl 1425.68385) 全文: 内政部 arXiv公司
帕特里克·库索特;拉迪亚·库索特;劳伦特·莫博涅 通过抽象解释进行理论、解算器和静态分析。 (英语) Zbl 1281.68156号 美国临床医学杂志 59,第6号,第31条,56页(2012年).MSC公司:60年第68季度 68号30 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}et al.,J.ACM 59,No.6,Article No.31,56 P.(2012;Zbl 1281.68156) 全文: 内政部