Author:
Henson Martin C.,Reeves Steve
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. M. Beeson. Foundations of Constructive Mathematics. Springer Verlag, 1985.
2. M. Beeson. Proving programs and programming proofs. In Logic, Methodology and Philosophy of Science, pages 51–82. Elsevier, 1986.
3. A. Cavalcanti and J. Woodcock. ZRC—a refinement calculus for Z. Formal Aspects of Computing, 10(3):267–289, 1998.
4. R. Constable, et al. Implementing mathematics with the NUPRL proof development system. Prentice Hall, 1986.
5. S. Feferman. Constructive theories of functions and classes. In Logic Colloquium’ 78, pages 159–224. North Holland, 1979.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Z Logic and Its Applications;Logics of Specification Languages;2007-12-05
2. An analysis of refinement in an abortive paradigm;Formal Aspects of Computing;2006-09
3. An Analysis of Operation-Refinement in an Abortive Paradigm;Electronic Notes in Theoretical Computer Science;2005-07
4. Practical Data Refinement for the Z Schema Calculus;ZB 2005: Formal Specification and Development in Z and B;2005
5. Operation Refinement and Monotonicity in the Schema Calculus;ZB 2003: Formal Specification and Development in Z and B;2003