Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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> ---- didattica/ay2324/sapv/main.txt Last modified: 2023/10/03 07:50by luca.padovani