- composition;
Model reuse Abrial, Jean-Raymond,
Michael Butler,
Stefan Hallerstede, Thai Son Hoang,
Farhad Mehta, and
Laurent Voisin. (2010). "Rodin: An...
-
University Press, 2010. Abrial, Jean-Raymond,
Michael Butler,
Stefan Hallerstede, Thai Son Hoang,
Farhad Mehta, and
Laurent Voisin. "Rodin: an open toolset...
-
Integration für Event-B-Modelle, Event-B Homepage.
Accessed on May 29, 2013
Hallerstede, Stefan; Jastram, Michael; Ladenberger,
Lukas (2013). "A
Method and Tool...
- Game
reference Nils
Hallerstede Goalies Taylor Shipp Referees: Vesa
Vilkki Mikko Alakare 6 min
Penalties 6 min...
