AUTHORS 425 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 15 16 17 18 19 20
    Simon Cruanes
    Leon Gondelman
    Johannes Kanig
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
21 22
    Asma Tafat
    Piotr Trojanek
23