CITATION STYLE
Singh, N. K. (2013). Formal Logic Based Heart-Model. In Using Event-B for Critical Device Software Systems (pp. 143–175). Springer London. https://doi.org/10.1007/978-1-4471-5260-6_8
Mendeley helps you to discover research relevant for your work.