111
click to vote
FMCAD
2009
Springer
16 years 11 days ago
2009
Springer
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland