Author:
Back Ralph-Johan,Eriksson Johannes,Milovanov Luka
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;R.J. Back,2002
2. Back, R.J.J., Akademi, A., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer-Verlag New York, Inc., Secaucus (1998)
3. Back, R.J.: Incremental software construction with refinement diagrams. Technical Report 660, TUCS – Turku Centre for Computer Science, Turku, Finland (2005)
4. Back, R.J., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing 8, 324–346 (1996)
5. Lecture Notes in Computer Science;R.J. Back,2005