Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Martìn Abadi and Leslie Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507–534, 1995.
2. J. R. Abrial. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
3. Lect Notes Comput Sci;R. Back,1994
4. J. A. Bergstra, J. Heering, and P. Klint. Module algebra. Journal of the ACM, 37(2): 335–372, 1990.
5. Didier Bert, Marie-Laure Potet, and Yann Rouzaud. A study on components and assembly primitives in B. In Proceedings of the first B conference, pages 47–62, 3 rue du Maréchal Joffre, BP 34103, 44041 Nantes Cedex 1, 1996. IRIN Institut de recherche en informatique de Nantes.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献