IA159 Formal Verification Methods
Abstraction
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA159/um/videos/06_abs_part1.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA159/um/videos/06_abs_part2.m4v
There will be an online consultation about Abstraction on April 26 at 10am.