-
Articles récents
Catégories
Archives mensuelles : août 2017
IMPEX’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