鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 QMaude：重写逻辑中的定量规范和验证。 （英语） Zbl 1529.68163号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人，Lect。注释计算。科学。14000，240-259（2023；Zbl 1529.68163） 全文： 内政部
阿德里安·里斯科;Kazuhiro绪方;高基町五指 CafeOBJ的Maude环境。 （英语） Zbl 1358.68195号 正式Asp。计算。 29，第2期，309-334（2017）.MSC公司：60年第68季度 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，正式Asp。计算。29，第2号，309--334（2017；Zbl 1358.68195） 全文： 内政部
玛丽亚·阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮尼亚 通过运行时断言检查和跟踪切片调试Maude程序。 （英语） Zbl 1348.68027号 J.日志。阿尔盖布。方法程序。 85，第5号，第1部分，707-736（2016）.MSC公司：68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。85，第5号，第1部分，707--736（2016；Zbl 1348.68027） 全文： 内政部
Alpunte，M。;D.巴利斯。;弗雷奇纳，F。;萨皮尼亚，J。 探索条件重写逻辑计算。 （英语） Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司：2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Symb。计算。69、3--39（2015年；Zbl 1315.68166） 全文： 内政部