Verlag TU Ilmenau UniversitätsbibliothekAnja Pölck × Small TCBs of Policy-controlled Operating Systems Anja PölckTU Ilmenau UniversitätsbibliothekSoftcover24,40 €