IA159 Formal Methods for Software Analysis
Introduction & Coverage Criteria for Tests
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/IA159/um/00_intro.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/IA159/um/01_tests.pdf