Skip to content
Snippets Groups Projects
Commit f1269c9d authored by Daniel Plagge's avatar Daniel Plagge
Browse files

c

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15975 1434b563-b632-4741-aa49-43a3a8374d2e
parent 1e3fd58e
No related branches found
No related tags found
No related merge requests found
...@@ -250,7 +250,8 @@ We use \textsf{sans serif font} for GUI elements like menus and buttons. Menu a ...@@ -250,7 +250,8 @@ We use \textsf{sans serif font} for GUI elements like menus and buttons. Menu a
The content of this handbook has been growing since the formation of the European Union IST Project RODIN in 2004. Giving credit to every contributor is almost impossible and attempting to do so would almost certainly omit some people, which would contradict the spirit of this work. It should be sufficient to say that we extend our gratitude to all contributors to the Rodin Wiki (\ref{rodin_wiki}). In particular, we would like to thank Systerel\footnote{\url{http://www.systerel.fr}} for their significant contributions to the handbook as they have been the main driver behind the tool and its documentation. The content of this handbook has been growing since the formation of the European Union IST Project RODIN in 2004. Giving credit to every contributor is almost impossible and attempting to do so would almost certainly omit some people, which would contradict the spirit of this work. It should be sufficient to say that we extend our gratitude to all contributors to the Rodin Wiki (\ref{rodin_wiki}). In particular, we would like to thank Systerel\footnote{\url{http://www.systerel.fr}} for their significant contributions to the handbook as they have been the main driver behind the tool and its documentation.
Jean-Raymond Abrial and the team at the ETH Zurich had a mayor influence in the development of Event-B and the Rodin project. Thank you very much! Jean-Raymond Abrial and the team at the ETH Zurich had a key role in the development of Event-B
and the Rodin project. Thank you very much!
We would also like to thank Cliff Jones, who never gave up the quest to improve the Rodin documentation, and Ken Robinson, who contributed the \file{EventB-Summary.pdf}{Event-B Cheat Sheet}. We would also like to thank Cliff Jones, who never gave up the quest to improve the Rodin documentation, and Ken Robinson, who contributed the \file{EventB-Summary.pdf}{Event-B Cheat Sheet}.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment