Empowering Expertise.

Discover your
career prospects.

Find your degree program

Publication

Rodin

An open toolset for modelling and reasoning in Event-B

Author:
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin, 2010
Publisher
Springer
Newspaper/Anthology:
International Journal on Software Tools for Technology Transfer (STTT), Nr.Volume 12, Issue 6/2010
Pages:
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

Back