奥利维尔·妮可;马蒂厄·莱梅尔;对手，泽维尔 基于物理类型的轻量级形状分析。 （英语） Zbl 1498.68081号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 219-241 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Nicole}等人，Lect。票据计算。科学。13182，219--241（2022；Zbl 1498.68081） 全文： 内政部 哈尔
穆罕默德·巴巴拉;隋玉蕾 散列将点转换为集合。 （英语） Zbl 1497.68130号 Drăgoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12913, 25-48 (2021).MSC公司：68纳米99 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Barbar}和\textit{Y.Sui}，Lect。票据计算。科学。12913，25-48（2021；Zbl 1497.68130） 全文： 内政部