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 Verification News General Info This is an old revision of the document! Static Analysis and Program Verification News There is not any news. General Info Teacher: Prof. Luca Padovani ESSE3 Link Static Analysis and Program Verification - AY 2022/23 Scheduling of Lectures: Scheduling is available at the following link Degrees: MSc in Computer Science (LM-18) didattica/ay2223/sapv/main.1663779640.txt.gz Last modified: 2022/09/21 19:00by luca.padovani