Refactoring Refinement Structure of Event-B Machines.

Tsutomu Kobayashi Fuyuki Ishikawa Shinichi Honiden

Published in: FM (2016)

Keyphrases

event detection
high level
database systems
relational databases
database
evolutionary algorithm
source code
geometric structure