Giuseppe Spallitta

Giuseppe Spallitta

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

Automated Reasoning/Formal Verification Lab 21-22

Teaching, University of Trento, 2021

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