Author:
Leavens Gary T.,Baker Albert L.
Publisher
Springer Berlin Heidelberg
Reference60 articles.
1. FACIT;D. Andrews,1997
2. R. J. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25(6):593–624, August 1988.
3. R. J. R. Back and J. von Wright. Combining angels, deamons and miracles in program specifications. Theoretical Computer Science, 100(2):365–383, June 1992.
4. Ralph-Johan Back and Joakim von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
5. Alex Borgida, John Mylopoulos, and Raymond Reiter. ’... and nothing else changes‘: The frame problem in procedure specification. In Proceedings Fifteenth International Conference on Software Engineering, Baltimore, May 1993. Preliminary version obtained from the authors.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献