受强制性开放获取政策约束的文章 - Roberto Bruttomesso了解详情
可在其他位置公开访问的文章：2 篇
An extension of lazy abstraction with interpolation for programs with arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Formal Methods in System Design 45, 63-109, 2014
强制性开放获取政策： Government of Italy
Quantifier-free interpolation in combinations of equality interpolating theories
R Bruttomesso, S Ghilardi, S Ranise
ACM Transactions on Computational Logic (TOCL) 15 (1), 1-34, 2014
强制性开放获取政策： Government of Italy
出版信息和资助信息由计算机程序自动确定