Revision as of 09:38, 4 July 2022 by David Geleßus (talk | contribs) (ß)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.