Publikation

Rodin

An open toolset for modelling and reasoning in Event-B

Autorenschaft:
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

Prof. Dr. Farhad D. Mehta

IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering

+41 58 257 46 16farhad.mehta@ost.ch

zurück