Luz Amanda Garcia

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (3) (2010)