TY  - RPRT
TI  - Proof of Compositionality of CFT Correctness
AU  - Simon Greiner
AU  - Peter Munk
AU  - Arne Nordmann
PY  - 2019
UR  - https://arxiv.org/abs/1907.09920
ID  - 1907.09920
ER  -