IA159 Formal Verification Methods
Static Analysis and Abstract Interpretation
Lecture was given on April 20, 2020 at 10:30 in the form of a Google Meet teleconference. Here is its recording:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA159/um/video_lectures/07_absint.mp4