TY  - JOUR

T1  - Formal verification of language-based concurrent noninterference

JO  - Journal of Formalized Reasoning

PY  - 2013/01/01

AU  - Popescu A

AU  - Hölzl J

AU  - Nipkow T

ED  - 

VL  - 6

IS  - 1

SP  - 1

EP  - 30

Y2  - 2024/12/23

ER  -