罗伯特·克雷伯斯 分离逻辑的形式化C存储模型。 (英语) Zbl 1386.68028号 J.汽车。推理 57,第4号,319-387(2016)。MSC公司:68甲15 03B70号 68N20型 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers},J.Autom。推理57,No.4,319--387(2016;Zbl 1386.68028) 全文: 内政部 arXiv公司
Pham,团结;安德鲁·加塞克;迈克尔·沃伦。 用抽象推理代数数据类型。 (英语) Zbl 1386.68104号 J.汽车。推理 57,第4期,281-318(2016)。MSC公司:68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Pham}等人,J.Autom。推理57,No.4,281--318(2016;Zbl 1386.68104) 全文: 内政部 arXiv公司