On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Chapter
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W2803077200 Global Citation Count
start page
- 425
end page
- 430