|
|
| Line 22: |
Line 22: |
| * Michelle Werth | | * Michelle Werth |
| * Philip Hoefges, | | * Philip Hoefges, |
| * Joshua Schmidt,
| |
| * Edward Turner, | | * Edward Turner, |
| * Dennis Winter, | | * Dennis Winter, |
Revision as of 14:54, 22 February 2018
ProB is based on research and implemention effort by:
- Michael Leuschel,
- Michael Butler,
- Jens Bendisposto,
- Ivaylo Dobrikov,
- Dominik Hansen,
- Philipp Körner,
- Sebastian Krings,
- Lukas Ladenberger,
- David Schneider,
- Joshua Schmidt
- Daniel Plagge,
- Marc Fontaine,
- Fabian Fritz,
- Corina Spermann,
- Michael Jastram,
- Joy Clark,
- David Gelessus
- Antonia Pütz
- Fabian Vu
- Yumiko Takahashi
- Michelle Werth
- Philip Hoefges,
- Edward Turner,
- Dennis Winter,
- Sonja Holl,
- Jens Krüger,
- Michael Birkhoff,
- Carla Ferreira,
- Stéphane Lo Presti,
- Leonid Mikhailov,
- Laksono Adhianto, ...
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 project Gepavas.