Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling.

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)

Keyphrases