TY  - RPRT
TI  - Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
AU  - Lars Luthmann
AU  - Stephan Mennicke
AU  - Malte Lochau
PY  - 2019
DO  - 10.1007/978-3-319-57666-4_5
UR  - https://arxiv.org/abs/1606.09035
ID  - 1606.09035
ER  -