didattica:ay2324:sapv:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

didattica:ay2324:sapv:main [2023/10/01 17:39] – created - external edit 127.0.0.1didattica:ay2324:sapv:main [2023/10/03 07:50] (current) – luca.padovani
Line 1: Line 1:
- +====== Static Analysis and Program Verification ======
-====== Static Analysis and Program Verificatiohn ======+
 ---- ----
- 
  
 ===== News ===== ===== News =====
Line 15: Line 13:
   * [[https://didattica.unicam.it/Guide/PaginaDocente.do?docente_id=4360|Prof. Luca Padovani]]   * [[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** **ESSE3 Link**
-  * [[|Static Analysis and Program Verificatiohn - AY 2023/24]]+  * [[|Static Analysis and Program Verification - AY 2023/24]]
  
 **Scheduling of Lectures**: **Scheduling of Lectures**:
  • didattica/ay2324/sapv/main.1696174779.txt.gz
  • Last modified: 2023/10/01 17:39
  • by 127.0.0.1