Réunion du 24 Octobre 2000

The meeting was held on October 24th at INRIA Sophia-Antipolis. The objective of the meeting was to discuss in-depth the executable models of the JCVM and BCV developped in Coq at Sophia-Antipolis.


G. Barthe (Oasis), Y. Bertot (Lemme), L. Burdy (Gemplus), G. Dufay (Oasis), B. Ebert (Lande), M. Huisman (Oasis), J.-L. Lanet (Gemplus), E. Madelaine (Oasis), C. Paulin (Coq), S. Sousa (Oasis), B. Werner (Coq).
Back to the S-Java home page
Gilles Barthe