Giuseppe Spallitta

Giuseppe Spallitta

Ph.D. Student @ University of Trento - Model counting and model enumeration 'expert'(?)

Automated Reasoning/Formal Verification Lab 22-23

Teaching, University of Trento, 2022

Here’s the GitHub repository of the course: AR-FV-22-23