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