activity
20062020
most citedExplicit Modelling of Physical Measures: From Event-B to Java

7 citations · 15 across the 7 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018

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)

Régine Laleau, Dominique Méry, Shin Nakajima +1

This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…