@misc{indiciae3ad8ec61005b,
  title = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM\&MDD)},
  author = {Régine Laleau and Dominique Méry and Shin Nakajima and Elena Troubitsyna},
  year = {2018},
  doi = {10.4204/eptcs.271},
  url = {https://arxiv.org/abs/1805.04636},
  note = {Source identifier: 1805.04636}
}