Not yet available….
Information requests to:
dominique.mery@loria.fr
Search
- Co-located with
ICFEM 2018
(20th International Conference on Formal Engineering Methods)
12-16 November 2018
Gold Coast, Australia
Second International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
