彼得·兰米奇;塞菲加·雷扎 形式化网络流算法：Isabelle/HOL中的一种改进方法。 （英语） Zbl 1468.68328号 J.汽车。推理 62，第2期，261-280（2019）.MSC公司：68V20型 05C21号 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{S.R.Sefidgar}，J.Autom。推理62，No.2，261--280（2019；Zbl 1468.68328） 全文： 内政部 链接
彼得·兰米奇;塞菲加·雷扎 形式化Edmonds-Karp算法。 （英语） 兹比尔1468.68327 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 219-234 (2016).MSC公司：68V20型 05C21号 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{S.R.Sefidgar}，莱克特。注释计算。科学。980719-234（2016年；兹比尔1468.68327） 全文： 内政部 链接