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 This is an old revision of the document! 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