-
Articles récents
Catégories
avril 2021 L M M J V S D « Mai 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
Archives de l’auteur : impexAdmin
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