Archives quotidiennes : 3 août 2017


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. … Continuer la lecture

Publié dans Actualité | Commentaires fermés sur IMPEX’2017