IA159 Formal Verification Methods
Abstraction
This topic has been scheduled for two lectures.
And here are the promised videos:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA159/um/video_lectures/06_abs_part1.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA159/um/video_lectures/06_abs_part2.m4v