Difference between revisions of "Team"

 
Line 22: Line 22:
 
* Michelle Werth
 
* Michelle Werth
 
* Philip Hoefges,
 
* Philip Hoefges,
* Joshua Schmidt,
 
 
* Edward Turner,
 
* Edward Turner,
 
* Dennis Winter,
 
* Dennis Winter,

Latest revision as of 15:54, 22 February 2018

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 project Gepavas.