AUTHORS 601 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
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

MARCHE Claude's avatar
MARCHE Claude committed
11
    Stefan Berghofer
Andrei Paskevich's avatar
Andrei Paskevich committed
12
    Sylvie Boldo
MARCHE Claude's avatar
MARCHE Claude committed
13
    Martin Clochard
Andrei Paskevich's avatar
Andrei Paskevich committed
14
    Simon Cruanes
MARCHE Claude's avatar
MARCHE Claude committed
15 16
    Sylvain Dailler
    Clément Fumex
MARCHE Claude's avatar
MARCHE Claude committed
17
    Léon Gondelman
MARCHE Claude's avatar
MARCHE Claude committed
18
    David Hauzar
19
    Daisuke Ishii
Andrei Paskevich's avatar
Andrei Paskevich committed
20
    Johannes Kanig
MARCHE Claude's avatar
MARCHE Claude committed
21
    Mikhail Mandrykin
Andrei Paskevich's avatar
Andrei Paskevich committed
22 23
    David Mentré
    Benjamin Monate
Guillaume Melquiond's avatar
Guillaume Melquiond committed
24
    Kim Nguyễn
Andrei Paskevich's avatar
Andrei Paskevich committed
25
    Thi-Minh-Tuyen Nguyen
MARCHE Claude's avatar
MARCHE Claude committed
26
    Mário Pereira
Guillaume Melquiond's avatar
Guillaume Melquiond committed
27
    Raphaël Rieu-Helft
Andrei Paskevich's avatar
Andrei Paskevich committed
28
    Simão Melo de Sousa
MARCHE Claude's avatar
MARCHE Claude committed
29 30
    Asma Tafat
    Piotr Trojanek
31
    Makarius Wenzel