Fundamentals Of System Verification

Teacher:

• Prof. Luca Tesei

ESSE3 Link

• FSV2526 on ESSE3

Material and Information

• All material and information will be made available on the Google Classroom dedicated course: FSV2526 (login using your @studenti.unicam.it account)

Scheduling of Lectures:

• Scheduling is available at the following link

Degrees:

• MSc in Computer Science (LM-18)

Curricula:

• Software Development and Technologies