No edit summary |
m (ß) |
||
(5 intermediate revisions by one other user not shown) | |||
Line 14: | Line 14: | ||
* [http://www.stups.uni-duesseldorf.de/w/Fabian_Fritz Fabian Fritz], | * [http://www.stups.uni-duesseldorf.de/w/Fabian_Fritz Fabian Fritz], | ||
* [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann], | * [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann], | ||
* Joy Clark, | * Joy Clark, | ||
* David | * David Geleßus | ||
* Fabian Vu | |||
* Antonia Pütz | * Antonia Pütz | ||
* | * Sherin Schneider | ||
* Yumiko Takahashi | * Yumiko Takahashi | ||
* Miles Vella | |||
* Michelle Werth | * Michelle Werth | ||
* Michael Jastram, | |||
* Philip Hoefges, | * Philip Hoefges, | ||
* Edward Turner, | * Edward Turner, | ||
* Dennis Winter, | * Dennis Winter, | ||
Line 34: | Line 35: | ||
Part of the research and development was conducted within various research projects, such as the | Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] projects [http://www.gepavas.de/ Gepavas], Gepavas II and IVOIRE. |
ProB is based on research and implemention effort by:
Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects Rodin, Deploy and Advance as well as the DFG projects Gepavas, Gepavas II and IVOIRE.