Team
From ProB Documentation
ProB is based in research and implemention effort by:
- Michael Leuschel,
- Michael Butler,
- Jens Bendisposto,
- Daniel Plagge,
- Lukas Ladenberger,
- Ivaylo Dobrikov,
- Marc Fontaine,
- Fabian Fritz,
- Corina Spermann,
- Michael Jastram,
- Dominik Hansen,
- Sebastian Krings,
- Philipp Körner,
- Joy Clark,
- Edward Turner,
- Dennis Winter,
- Sonja Holl,
- Jens Krüger,
- Michael Birkhoff,
- Carla Ferreira,
- Stéphane Lo Presti,
- Leonid Mikhailov,
- Laksono Adhianto, ...
