Login / Signup

SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B.

Mohammadsadegh DalvandiMichael J. ButlerAsieh Salehi Fathabadi
Published in: FM Workshops (1) (2019)
Keyphrases
  • code generation
  • application development
  • real world
  • high level
  • end users
  • software reuse