拉胡尔·沙尔马;艾肯,亚历克斯 从不变量检查到使用随机搜索的不变量推理。 (英语) Zbl 1358.68197号 形式方法系统。设计。 48,第3期,235-256(2016).MSC公司:第68季度第60季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sharma}和\textit{A.Aiken},《形式方法系统》。设计。48,第3号,235--256(2016;Zbl 1358.68197) 全文: 内政部
拉胡尔·沙尔马;沙特古普塔;巴拉斯·哈里哈兰;艾肯,亚历克斯;梁佩西;阿迪蒂亚·诺里。 代数循环不变量的数据驱动方法。 (英语) Zbl 1381.68061号 Felleisen,Matthias(编辑)等人,《编程语言和系统》。2013年3月16日至24日,作为欧洲软件理论与实践联合会议的一部分,在意大利罗马举行了第22届欧洲编程研讨会(ESOP 2013)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37035-9/pbk)。计算机科学课堂讲稿7792574-592(2013)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Sharma}等人,Lect。注释计算。科学。7792、574--592(2013年;Zbl 1381.68061) 全文: 内政部