Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. Lect Notes Comput Sci;R.J.R. Back,1995
3. R.J.R. Back and M.J. Butler. Fusion and simultaneous execution in the renement calculus. Acta Informatica, 35(11):921–940, 1998.
4. D. Bert, M.-L. Potet, and Y. Rouzaud. A study on components and assembly primitives in B. In H. Habrias, editor, Proceedings of the First B Conference, pages 47–62. IRIN, Nantes, 1996.
5. Lect Notes Comput Sci;P. Chartier,1998
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献