IA159 Formal Methods for Software Analysis
Shape Analysis via 3-Valued Logic
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2023/IA159/um/06_shape.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2023/IA159/um/videos/lecture10.mp4