托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英语) Zbl 07731927号 日志。计算方法。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。计算方法。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司 OA许可证
Leino,K.Rustan M。;帕基·卢西奥 自然Mergesort稳定性和正确性的断言证明。 (英语) Zbl 1367.68080号 ACM事务处理。计算。日志。 17,第1号,第6条,22页(2015年).MSC公司:68页第10页 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{P.Lucio},ACM Trans。计算。日志。17,第1号,第6条,22页(2015;Zbl 1367.68080) 全文: 内政部