伊朱利恩

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Alpuente,M.;Ballis,D.;Sapiña,J.:通过在\textsfÁTAME系统中的项目专业化,有效实施Maude项目的安全性(2020年) alpunte,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:通过运行时断言检查和跟踪切片调试Maude程序(2016) Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.:探索条件重写逻辑计算(2015) Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:检查重写逻辑计算(以参数化和逐步方式)(2014年) Hupel,Lars:Isabelle的交互式简化程序跟踪和调试(2014) Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:iJulienne重写逻辑规范的基于切片的跟踪分析(2013) ioport公司