====== Static Analysis and Program Verification ======
----

===== News =====
<WRAP center round important 95%>
There is not any news.
</WRAP>
----

===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[https://didattica.unicam.it/Guide/PaginaDocente.do?docente_id=4360|Prof. Luca Padovani]]

**Moodle Link**
  * [[https://elearning.unicam.it/course/view.php?id=392|Static Analysis and Program Verification]]

**ESSE3 Link**
  * [[|Static Analysis and Program Verification - AY 2023/24]]

**Scheduling of Lectures**:
  * Scheduling is available at the following [[:didattica:ay2324:orario_en|link]]
  
**Degrees**:
  * [[didattica:mscs|MSc in Computer Science (LM-18)]]

  
</WRAP>
----