Sciweavers

FMCAD
2009
Springer

110views Formal Methods» more FMCAD 2009»

15 years 10 months ago

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...

claim paper

Read More »