Skip to content
GitLab
Explore
Sign in
Testos
cobap
Issues
#1
konzultace
poznamky pro dnesni konzultaci:
requirements
SEP + obhajoba (21.1.)
memory model - primes
moduly stav (LLVM, model, SMT)