慈白

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Logozzo,Francesco;Fähndrich,Manuel:Pentagons:一个弱关系抽象域,用于有效验证数组访问(2010) Spoto,Fausto;Payet,Étienne:Java字节码本地化分析的魔术集(2010) Méndez Lojo,Mario;Navas,Jorge;Hermenegildo,Manuel V.:一种灵活的(C)基于LP的面向对象程序分析方法(2008) Logozzo,Francesco:Cibai:Java类的模块化分析和验证的基于抽象解释的静态分析器(2007)