阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 为提升分析寻找合适的变异性抽象。 (英语) 兹比尔1425.68067 正式Asp。计算。 31,2号,231-259(2019)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,《形式Asp》。计算。31,第2号,231--259(2019;Zbl 1425.68067) 全文: 内政部
阿列克桑达尔·迪莫夫斯基。 使用符号游戏语义验证带注释的程序族。 (英语) Zbl 1380.68121号 西奥。计算。科学。 706, 35-53 (2018)。MSC公司:68号30 65年第68季度 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.迪莫夫斯基},Theor。计算。科学。706,35-53(2018年;兹比尔1380.68121) 全文: 内政部