Publisher
Kluwer Academic Publishers
Reference28 articles.
1. Abrial, J-R (1995). The B-Book-Assigning programs to Meanings. Cambridge University Press. 0-521-49619-5.
2. Alanen, Marcus and Porres, Ivan (2003). Difference and union of models. In Lecture Notes in Computer Science 2863: «UML» 2003 Conference. Springer. October 20–24.
3. Ambler, Scott W. (2003). The right tool for the job. Software Development, 11(12):50–52.
4. Back, Ralph (1998). Refinement Calculus: a Systematic Introduction. Springer-Verlag. 0387984178.
5. Back, Ralph-Johan (2002). SFI: A refinement based layered software architecture. In George, C and Miao, H, editors, Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25. Lecture Notes in Computer Science 2495. Springer.