AUTHORS 540 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
The Why3 Verification Platform is developed by

    François Bobot
    Jean-Christophe Filliâtre
    Claude Marché
    Guillaume Melquiond
    Andrei Paskevich

with contributions of

11
    Stefan Berghofer
12
    Sylvie Boldo
13
    Martin Clochard
14
    Simon Cruanes
MARCHE Claude's avatar
MARCHE Claude committed
15 16
    Sylvain Dailler
    Clément Fumex
17
    Leon Gondelman
MARCHE Claude's avatar
MARCHE Claude committed
18
    David Hauzar
19
    Daisuke Ishii
20
    Johannes Kanig
MARCHE Claude's avatar
MARCHE Claude committed
21
    Mikhail Mandrykin
22 23 24 25
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
26 27
    Asma Tafat
    Piotr Trojanek
28
    Makarius Wenzel