Author:
Långbacka Thomas,von Wright Joakim
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. F. Andersen, K.D. Petersen, and J.S. Petterson. A Graphical Tool for Proving UNITY Progress. In T.F. Melham and J. Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications-7th International Workshop. Valletta, Malta, September 1994, volume 859 of Lecture Notes in Computer Science. Springer Verlag, 1994.
2. R. Back Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
3. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593–624, 1988.
4. R. Back and J. von Wright. Refinement concepts formalized in higher order logic. Formal Aspects of Computing, 2:247–272, 1990.
5. R. Back and J. von Wright. Trace refinement of action systems. Reports on computer science and mathematics 153, Åbo Akademi, 1994.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rodin: an open toolset for modelling and reasoning in Event-B;International Journal on Software Tools for Technology Transfer;2010-04-07
2. An Open Extensible Tool Environment for Event-B;Formal Methods and Software Engineering;2006
3. Owicki/Gries in Isabelle/HOL;Fundamental Approaches to Software Engineering;1999