戴维德·卡维扎（Davide G.Cavezza）。;达拉·阿拉杰;安德拉斯·吉尔吉 GR（1）公式的弱点度量。 （英语） 兹比尔1458.68115 正式Asp。计算。 33，编号1，27-63（2021）.MSC公司：60年第68季度 03B44号 28安培80 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人，《形式Asp》。计算。33，编号1，27--63（2021；Zbl 1458.68115） 全文： 内政部
戴维德·贾科莫·卡维扎;达拉·阿拉杰;安德拉斯·吉尔吉 GR（1）公式的弱点度量。 （英语） Zbl 1460.68054号 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 110-128 (2018).MSC公司：60年第68季度 03B44号 28安培80 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人，Lect。注释计算。科学。10951、110-128（2018；Zbl 1460.68054） 全文： 内政部 arXiv公司
戴维德·卡维扎（Davide G.Cavezza）。;达拉·阿拉杰 基于插值的GR（1）假设细化。 （英语） Zbl 1452.68115号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 281-297 (2017).MSC公司：60年第68季度 03B70号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}和\textit{D.Alrajeh}，莱克特。注释计算。科学。10205、281--297（2017；Zbl 1452.68115） 全文： 内政部 arXiv公司