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