Écrit par Bruno Vivien (un utilisateur) E-mail: bruno.vivien@cnet.francetelecom.fr
Project Oscar
Didier Parigot E-mail: Didier.Parigot@inria.fr http://www-rocq.inria.fr/oscar INRIA-Rocquencourt BP 105 78153 Le Chesnay Cedex France