|
Contributors |
|
Since its conception in April 2004, many people
have contributed to the success of the AProVE system.
Current Contributors
- Jürgen Giesl
- Stephan Falke
- Peter Schneider-Kamp
- Stephan Swiderski
- René Thiemann
- Christian Hang
- Christian Käunicke
- Martin Mertens
- Ralf Behle
Past Contributors
- Darius Dlugosz
- Eugen Yu
- Christian Haselbach
- Achim Lücking
- Andreas Capellmann
- Arndt Baars
- Burak Emir
- Nina Beckmann
- Heike Haegart
- Carsten Pelikan