Author:
Dghaym Dana,Fischer Tomas,Hoang Thai Son,Reichl Klaus,Snook Colin,Schlick Rupert,Tummeltshammer Peter
Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. 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. Softw. Tools Technol. Transfer 12(6), 447–466 (2010)
3. Back, R., Sere, K.: Stepwise refinement of action systems. In: International Conference on Mathematics of Program Construction, pp. 115–138. Springer, Berlin (1989)
4. Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture, 4th edn. Wiley Series in Software Design Patterns, Wiley (2007).
http://www.worldcat.org/oclc/314792015
5. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453–457 (1975)