卡洛斯·加林多;塞尔吉奥·佩雷斯;乔塞普·席尔瓦 异常敏感的程序切片。 (英语) Zbl 07618130号 J.日志。阿尔盖布。方法计划。 130,文章ID 100832,28 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Galindo}等人,J.Log。阿尔盖布。方法程序。130,文章ID 100832,28 p.(2023;Zbl 07618130) 全文: 内政部
卡洛斯·加林多;塞尔吉奥·佩雷斯;乔塞普·席尔瓦 Java程序的程序切片。 (英语) Zbl 07618125号 J.日志。阿尔盖布。方法计划。 130,文章ID 100826,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Galindo}等人,J.Log。阿尔盖布。方法程序。130,文章ID 100826,18 p.(2023;Zbl 07618125) 全文: 内政部
M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。 跟踪CSP计算。 (英语) Zbl 1408.68037号 J.日志。阿尔盖布。方法计划。 102, 138-175 (2019).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Llorens}等人,J.Log。阿尔盖布。方法程序。102、138--175(2019年;Zbl 1408.68037) 全文: 内政部 链接
大卫·英莎;乔塞普·席尔瓦 算法调试概述。 (英语) Zbl 1395.68094号 J.日志。阿尔盖布。方法计划。 97,85-104(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva},J.Log。阿尔盖布。方法程序。97、85——104(2018;Zbl 1395.68094) 全文: 内政部 链接
安托尼奥·拉瓦拉(编辑);乔塞普·席尔瓦(编辑) JLAMP网络系统自动化规范和验证专刊编辑。 (英语) Zbl 1314.00114号 J.日志。阿尔盖布。方法计划。 84,第4期,483-484(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}(编辑)和\textit{J.Silva}。阿尔盖布。方法程序。84,第4号,483--484(2015;Zbl 1314.00114) 全文: 内政部