CITATION STYLE
Singh, N. K. (2013). The Modelling Framework: Event-B. In Using Event-B for Critical Device Software Systems (pp. 47–60). Springer London. https://doi.org/10.1007/978-1-4471-5260-6_3
Mendeley helps you to discover research relevant for your work.