Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Co-refinement;Ainsworth,1994
2. Refinement Calculus: A Systematic Introduction;Johan Back,1998
3. Rosalind Barden, Susan Stepney, and David Cooper. The use of Z. In J. E. Nicholls, editor, Proc. 6th Z User Meeting, York 1991, Workshops in Computing, pages 99-124. Springer-Verlag, 1992.
4. Constructive consistency checking for partial specification in Z;Boiten;Science of Computer Programming,1999
5. On the lattice of specifications: Applications to a specification methodology;Boudriga;Formal Aspects of Computing,1992
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reasoning About Distributive Laws in a Concurrent Refinement Algebra;Lecture Notes in Computer Science;2024
2. Using cylindric algebra to support local variables in rely/guarantee concurrency;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. bGSL: An imperative language for specification and refinement of backtracking programs;Journal of Logical and Algebraic Methods in Programming;2023-01
4. Refinable Record Structures in Formal Methods;Advances in Model and Data Engineering in the Digitalization Era;2021
5. Hoare-Style Reasoning from Multiple Contracts;Lecture Notes in Computer Science;2017