Specializační okruh

Abstraktní interpretace.

Materiály

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

Výskyt ve specializacích

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