TY  - RPRT
TI  - Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
AU  - Haim Kilov
AU  - Bernhard Rumpe
PY  - 2014
DO  - 10.1007/3-540-49255-0_39
UR  - https://arxiv.org/abs/1409.6923
ID  - 1409.6923
ER  -