Static Analysis and Program Verification

Teacher:

• Prof. Luca Padovani

ESSE3 Link

• Static Analysis and Program Verification - AY 2022/23

Moodle Link

• Static Analysis and Program Verification - AY 2022/23

Scheduling of Lectures:

• Scheduling is available at the following link

Webex link for online Lectures

• https://unicam.webex.com/meet/luca.padovani

Degrees:

• MSc in Computer Science (LM-18)