@misc{indiciae5dcdf5b33eba,
  title = {Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures},
  author = {Jana Kofroň and Jana Tumova and Bara Buhnova},
  year = {2016},
  doi = {10.4204/eptcs.205},
  url = {https://arxiv.org/abs/1603.08371},
  note = {Source identifier: 1603.08371}
}