Richard Banach. Review of ::::Modeling in Event-B: System and Sofware Engineering::::, 1st edition, by Jean-Raymond Abrial. Journal of Logic and Computation, 21(2):403-404, 2011. [doi]
@article{Banach11-0,
title = {Review of ::::Modeling in Event-B: System and Sofware Engineering::::, 1st edition, by Jean-Raymond Abrial},
author = {Richard Banach},
year = {2011},
doi = {10.1093/logcom/exq025},
url = {http://dx.doi.org/10.1093/logcom/exq025},
tags = {meta-model, modeling, model-driven engineering, reviewing, Meta-Environment},
researchr = {https://researchr.org/publication/Banach11-0},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {21},
number = {2},
pages = {403-404},
}