References
Abrial, J. R. 2010. Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press.
Ball, T., V. Levin, and S. K. Rajamani. 2011. “A Decade of Software Model Checking with SLAM.” Communications of the ACM 54 (7) (July 1): 68. doi:10.1145/1965724.1965743.
Behm, P., P. Benoit, A. Faivre, and J-M. Meynadier. 1999. “Meteor: A Successful Application of B in a Large Project.” In Formal Methods’99, 369–387. Berlin: Springer-Verlag. doi:10.1007/ 3-540-48119-2_22.
Bishop, P., and R. E. Bloomfield. 1998. “A Methodology for Safety Case Development.” In Proc. Safety-Critical Systems Symposium. Birmingham, UK: Springer. http://www.adelard.com/papers/sss98web.pdf
Bochot, T., P. Virelizier, H. Waeselynck, and V. Wiels. ...
Get Software Engineering, 10th Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
