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
  • Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.  Lecture notes in computer science. 124-138. 2017