BCARe : un environnement pour la vérification de règles de l?Atelier B
Résumé
Un outil pour la vérification des règles ajoutées de l'Atelier B.
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126033
Soumis le : vendredi 6 mars 2015-11:37:25
Dernière modification le : vendredi 19 juillet 2024-11:38:04