Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Kleene Algebra With Tests for Weighted Programs.
