Archives mensuelles : 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 →