First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
Co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods) in Xi’an, China, 13-17th November 2017.

The proceedings of the conference are now published by EPTCS. You can access the proceedings using this link EPTCS 271

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