Gürlebeck,克劳斯;德米特里·列加提乌克;亨利克·尼尔森;斯马斯利,凯 概念建模:用于检测工程应用中的建模错误。 (英语) Zbl 1445.00009 数学。方法应用。科学。 43,编号3,1243-1252(2020).MSC公司:00A71号 68甲18 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Gürlebeck}等人,《数学》。方法应用。科学。43,第3号,1243--1252(2020;Zbl 1445.00009) 全文: 内政部 链接
彼得·蒂曼(编辑);亨利克·尼尔森(编辑) 特刊:ICFP 2008。根据2008年9月在加拿大维多利亚举行的第13届ACM SIGPLAN函数式编程国际会议(ICFP 2008)上的演示文稿选出的论文。 (英语) Zbl 1221.68033号 J.功能。程序。20,第5-6号,第415-615页(2010年)。 MSC公司:68-06 00B25型 68甲18 PDF格式BibTeX公司 XML格式