TY  - RPRT
TI  - Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
AU  - Barbora Buhnova
AU  - Lucia Happe
AU  - Jan Kofroň
PY  - 2013
DO  - 10.4204/eptcs.108
UR  - https://arxiv.org/abs/1302.4780
ID  - 1302.4780
ER  -