Archives du blog

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

Toutes les galeries | Commentaires fermés sur Publications des actes d’IMPEX 2017