AUTHORS 372 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
The Why3 Verification Platform is developed by

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

with contributions of

    Sylvie Boldo
    Simon Cruanes
    Leon Gondelman
    Johannes Kanig
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
    Asma Tafat-Bouzid