Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Promise Model Checking Problems over a Fixed Model.
