弗拉德·鲁苏;安德烈·阿鲁索艾 在Maude中执行和验证高阶函数命令式程序。 (英文) Zbl 1372.68056号 J.日志。阿尔盖布。方法计划。 93, 68-91 (2017).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{A.Arusoaie},J.Log。阿尔盖布。方法计划。93、68-91(2017年;Zbl 1372.68056) 全文: 内政部 哈尔
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:一种共生产方法。 (英文) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔