FIT SZZ Materiály
← Zpět na okruhy

Specializační okruh

Deduktivní verifikace anotovaných programů.

Materiály

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

Výskyt ve specializacích