Publications des actes d’IMPEX 2017

Les actes du workshop IMPEX 2017 sont publiés dans la série EPTCS:  EPTCS 271, 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) Xi’An, China, 16th November 2017. Les éditeurs sont  Régine Laleau, Dominique Méry, Shin Nakajima and Elena Troubitsyna.

Ce contenu a été publié dans Actualité. Vous pouvez le mettre en favoris avec ce permalien.