![[PHD209] PRINCIPLES OF CORRECT AND SECURE COMPILATION (R320) - a.a. 2024-25](https://moodle.unive.it/pluginfile.php/1/theme_continuum/courseplaceholder/1684774395/placeholder_corso.jpg)
Formal methods are of the fundamental importance for computer scientists, and this PhD-level course aims to provide a modern and up-to-date introduction to a specific subfield of formal methods: corre
Non è lecito utilizzare le registrazioni delle lezioni se non per motivi di studio individuale.
Recordings of online classes must be used for individual study purposes only.