TY  - RPRT
TI  - Compositionality in Model-Based Testing
AU  - Gijs van Cuyck
AU  - Lars van Arragon
AU  - Jan Tretmans
PY  - 2023
DO  - 10.1007/978-3-031-43240-8_13
UR  - https://arxiv.org/abs/2307.03701
ID  - 2307.03701
ER  -