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