diff options
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -0,0 +1,18 @@ +PVS2 Rewrite: +Simon Rettberg <simon.rettberg@rz.uni-freiburg.de> + + +* PVS1 * + +Initial design and first versions: +Simon Wittenberg <wittenb@informatik.uni-freiburg.de> + +Contributors: +Johann Betz <jbetz@informatik.uni-freiburg.de> +Javier Castillo <castillf@informatik.uni-freiburg.de> +Johann Latocha <johann@latocha.de> +Achille Nana <achille.achille@gmail.com> +Simon Rettberg <simon.rettberg@rz.uni-freiburg.de> +Fadi Salameh <fadi84@hotmail.com> +Alexander Hoppe <a.hoppe@gmail.com> +Benjamin Lieberwirt <benjamin.lieberwirth@googlemail.com> |