Author:
Bjørner Dines,Havelund Klaus
Publisher
Springer International Publishing
Reference116 articles.
1. Abrial, J.-R.: The B Book. Cambridge University Press, UK (1996)
2. Abrial, J.-R.: Modeling in Event-B: System and Softw. Eng. Cambridge University Press, UK (2009)
3. Lecture Notes in Computer Science;J.-R. Abrial,2013
4. Araki, K., et al. (eds.): IFM 1999–2013: Integrated Formal Methods. LNCS, vol. 1945, 2335, 2999, 3771, 4591, 5423, 6496, 7321 and 7940. Springer, Heidelberg (2013)
5. Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside microsoft. In: Boiten, E.A., Derrick, J., Smith, G. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1–20. Springer, Heidelberg (2004), Tool website:
http://research.microsoft.com/en-us/projects/slam
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献