IA159 Formal Verification Methods

Abstraction

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2022/IA159/um/videos/06_abs_part1.m4v

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2022/IA159/um/videos/06_abs_part2.m4v