Publikation

Rodin

An open toolset for modelling and reasoning in Event-B

Autorenschaft:
Prof. Dr. Farhad D. Mehta, Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin, 2010
Herausgeber:
Springer
Zeitschrift / Sammelband:
International Journal on Software Tools for Technology Transfer (STTT), Nr.Volume 12, Issue 6/2010
Seiten / Kapitel:
447-466
1433-2779
zurück