杜鹃花拉德;伯丁，乔希;黄海党;德雷克·德雷尔;彼得·奥赫恩;朱尔斯·维拉德 关于bug存在的局部推理：错误分离逻辑。 （英语） Zbl 1478.68057号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 225-252 (2020).理学硕士：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Raad}等人，Lect。注释计算。科学。12225、225——252（2020；Zbl 1478.68057） 全文： 内政部 OA许可证
O'Hearn，Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 （英语） Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84，第3期，285-302（2015）。理学硕士：03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛P.W.O'Hearn｝等人，J.Log。阿尔盖布。方法计划。84，第3号，285--302（2015；Zbl 1330.03072） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 并发Kleene代数的发展。 （英语） Zbl 1344.68148号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国马里恩斯塔特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，1-18（2014）。理学硕士：70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，Lect。注释计算。科学。8428，1-18（2014；Zbl 1344.68148） 全文： 内政部 链接