Cimatti, Alessandro books & textbook
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Theoretical Computer Science and General Issues)
Cimatti, Alessandro Sirjani, Marjan
Springer /2017-08-15 Paperback / 429 Pages
isbn-10: 3319661965 / isbn-13: 9783319661964
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Bernardo, Marco Cimatti, Alessandro
Springer /2006-05-15 Paperback / 252 Pages
isbn-10: 3540343040 / isbn-13: 9783540343042
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)
Cimatti, Alessandro Sebastiani, Roberto
Springer /2012-06-22 Paperback / 514 Pages
isbn-10: 3642316115 / isbn-13: 9783642316111
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science)
Cimatti, Alessandro Titolo, Laura
Springer /2023-09-17 Paperback / 272 Pages
isbn-10: 3031436806 / isbn-13: 9783031436802
