TY  - RPRT
TI  - Software and System Modeling Based on a Unified Formal Semantics
AU  - Manfred Broy
AU  - Franz Huber
AU  - Barbara Paech
AU  - Bernhard Rumpe
AU  - Katharina Spies
PY  - 2014
DO  - 10.1007/10692867_2
UR  - https://arxiv.org/abs/1411.2410
ID  - 1411.2410
ER  -