@未收集{zbMATH07218155,作者{Titolo,劳拉和费利{u},马可·A.和莫斯卡托,马里亚诺和穆{~n}oz,C{e}萨拉},Title={浮点程序舍入误差分析的抽象解释框架},书名{验证、模型检查和抽象解释。第19届国际会议,VMCAI 2018,美国加利福尼亚州洛杉矶,2018年1月7日至9日。会议记录},ISBN={978-3-319-73720-1;978-3-319-73721-8},页数={516--537},年份:{2018},Publisher={Cham:Springer},语言{英语},DOI={10.1007/978-3-319-73721-8_24},关键词{68N30,65G50},URL={hdl.handle.net/2060/20180006290},zbMATH={7218155},Zbl={1446.68036}}