Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. J.-R. Abrial. The B-Book — Assigning Programs to Meanings. Cambridge University Press, 1996.
2. D. Bert, M.-L. Potet, and Y. Rouzaud. A study on components and assembly primitives in b. In H. Habrias, editor, Proe. of First B Conference, pages 47–62, IRIN, Nantes, 1996.
3. J. P. Bowen and M. J. C. Gordon. Z and HOL. In J. P. Bowen and J. A. Hall, editors, Z Users Workshop, pages 141–167. Springer-Verlag, 1994.
4. M. J. C. Gordon. Mechanizing programming logics in higher order logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, 1989.
5. M. J. C. Gordon and T. Melham. Introduction to HOL — A Theorem Proving Environment for Higher-Order Logic. Cambridge University Press, 1993.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献