Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Abstraction-Based Machine-Code Program Verification..
