AUTHORS

   1 The Why3 Verification Platform is developed by
   2
   3     François Bobot
   4     Jean-Christophe Filliâtre
   5     Claude Marché
   6     Guillaume Melquiond
   7     Andrei Paskevich
   8
   9 with contributions of
  10
  11     Stefan Berghofer
  12     Sylvie Boldo
  13     Martin Clochard
  14     Simon Cruanes
  15     Sylvain Dailler
  16     Clément Fumex
  17     Léon Gondelman
  18     David Hauzar
  19     Daisuke Ishii
  20     Johannes Kanig
  21     Mikhail Mandrykin
  22     David Mentré
  23     Benjamin Monate
  24     Kim Nguyễn
  25     Thi-Minh-Tuyen Nguyen
  26     Mário Pereira
  27     Raphaël Rieu-Helft
  28     Simão Melo de Sousa
  29     Asma Tafat
  30     Piotr Trojanek
  31     Makarius Wenzel