====== 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**: 
  * [[|Prof. Luca Padovani]]

**ESSE3 Link**
  * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2022*N0*N0*S1*19061*11167&ANNO_ACCADEMICO=2022&mostra_percorsi=S|Static Analysis and Program Verification - AY 2022/23]]

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

**Scheduling of Lectures**:
  * Scheduling is available at the following [[:didattica:ay2223:orario_en|link]]

**Webex link for online Lectures**
  * [[https://unicam.webex.com/meet/luca.padovani]]
  
**Degrees**:
  * [[didattica:mscs|MSc in Computer Science (LM-18)]]

  
</WRAP>
----