diff options
| author | sr | 2013-02-04 19:56:46 +0100 |
|---|---|---|
| committer | sr | 2013-02-04 19:56:46 +0100 |
| commit | bf0a511f5771dd2eea5853d38aa3354ab59acc86 (patch) | |
| tree | 016657807ebde4b96aa7ce966cd39f1debf08a8c /AUTHORS | |
| parent | Initial commit (diff) | |
| download | pvs2-bf0a511f5771dd2eea5853d38aa3354ab59acc86.tar.gz pvs2-bf0a511f5771dd2eea5853d38aa3354ab59acc86.tar.xz pvs2-bf0a511f5771dd2eea5853d38aa3354ab59acc86.zip | |
credits
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> |