Giuseppe Spallitta

Giuseppe Spallitta

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

Automated Reasoning/Formal Verification Lab 23-24

Teaching, University of Trento, 2023

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