Introduction
Author:
Singh Neeraj Kumar
Publisher
Springer London
Reference39 articles.
1. Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York: Cambridge University Press.
2. Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering (1st ed.). New York: Cambridge University Press.
3. Acuña, S. T., & Juristo, N. (2005). International series in software engineering. Software process modeling. New York: Springer.
4. Back, R. J. R. (1981). On correct refinement of programs. Journal of Computer and System Sciences, 23(1), 49–68.
5. Bell, R., & Reinert, D. (1993). Risk and system integrity concepts for safety-related control systems. Microprocessors and Microsystems, 17, 3–15.