Show pagesourceOld revisionsBacklinksBack to top Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer Reddit TeamsRecent ChangesSend via e-MailPrintPermalink × Table of Contents Static Analysis and Program Verificatiohn News General Info Static Analysis and Program Verificatiohn News There is not any news. General Info Teacher: Prof. Luca Padovani ESSE3 Link Static Analysis and Program Verificatiohn - AY 2023/24 Scheduling of Lectures: Scheduling is available at the following link Degrees: MSc in Computer Science (LM-18) didattica/ay2324/sapv/main.1696174779.txt.gz Last modified: 2023/10/01 17:39by 127.0.0.1