De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet
Résumé
no abstract
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Catherine Oriat : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00953400
Soumis le : vendredi 28 février 2014-11:46:43
Dernière modification le : mercredi 18 décembre 2024-09:54:41