Sciweavers

52
Voted
FMCAD
2009
Springer
15 years 3 months ago
Structure-aware computation of predicate abstraction
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland
Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti...