Alessandro Cimatti
2 published titles
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : adv
(Contributor)
1 edition
- ISBN: 9783540343042
- Springer
- 2006
- Details
Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, proceedings
(Contributor)
1 edition
- ISBN: 9783642316111
- Springer
- 2012
- Details
