B Method
Résumé
Formalization and answers by Dominique Cansell .
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Dominique Cansell : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00096700
Soumis le : mardi 19 septembre 2006-21:55:30
Dernière modification le : vendredi 24 mars 2023-14:52:48