Specializační okruh

Verifikace pomocí symbolického provádění.

Materiály

Zatím tu nejsou žádné materiály.

Výskyt ve specializacích

• NMAT – Matematické metody, č. 45, RD13/2026
• NVER – Verifikace a testování software, č. 54, RD13/2026