کتاب های Alessandro Cimatti (auth.)
![Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings](http://cdn.ketabkoo.com/covers/3/397651-n.jpg)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010![Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings](http://cdn.ketabkoo.com/covers/3/397653-n.jpg)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010![Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings](http://cdn.ketabkoo.com/covers/11/1107024-n.jpg)
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Alessandro Cimatti, Roberto Sebastiani, 2012![Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science)](http://cdn.ketabkoo.com/covers/17/1733275-n.jpg)