洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 (英语) Zbl 1284.68101号 科学。计算。程序。 78,第7期,907-932(2013).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第7号,907--932(2013;Zbl 1284.68101) 全文: 内政部
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 面向增量的软件产品线的组合类型检查。 (英语) Zbl 1448.68212号 学报信息。 50,第2期,77-122(2013).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,Acta Inf.50,No.2,77-122(2013;兹bl 1448.68212) 全文: 内政部 链接