selected publications
-
chapter
- On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. Lecture notes in computer science. 425-430. 2018
Close
Voisin, Laurent
Publications
Contact
full name
- Laurent Voisin
Publications in VIVO
Co-author Network