Author:
Eriksson Johannes,Parsa Masoumeh,Back Ralph-Johan
Publisher
Springer International Publishing
Reference24 articles.
1. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
2. Lecture Notes in Computer Science;J.-R. Abrial,2008
3. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling 4, 32–54 (2005)
4. Back, R.J.: Invariant based programs and their correctness. In: Biermann, W., Guiho, G., Kodratoff, Y. (eds.) Automatic Program Construction Techniques, pp. 223–242. MacMillan Publishing Company (1983)
5. Back, R.J.: Invariant based programming: Basic approach and teaching experiences. Formal Aspects of Computing 21(3), 227–244 (2009)