formální verifikace
verifikace formální
verifikace (počítačová věda)
počítačové systémy
Broader term: počítačová věda
formal verification
Soubor věcných témat
(2) - Soubor věcných témat