Author:
Bandur Victor,Woodcock Jim
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. NATO ASI Series F;J. Woodcock,2009
2. Bochvar, D.A., Bergmann, M.: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic 2(1), 87–112 (1981)
3. McCarthy, J.: A basis for a mathematical theory of computation. In: Computer Programming and Formal Systems, pp. 33–70. North-Holland (1963)
4. Barringer, H., Cheng, J.H., Jones, C.B.: A logic covering undefinedness in program proofs. Acta Informatica 21 (1984)
5. Woodcock, J., Davies, J.: Using Z. Specification, Refinement, and Proof. Prentice-Hall (1996)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
2. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
3. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
4. Mechanised Theory Engineering in Isabelle;NATO SCI PEAC SECUR;2015