Génération de code exécutable à partir d'une spécification B : applications aux bases de données
Résumé
no abstract
Communication Dans Un Congrès
Année : 2004
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224671
Soumis le : mercredi 4 novembre 2015-22:50:52
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01224671 , version 1
Citer
Amel Mammar, Régine Laleau. Génération de code exécutable à partir d'une spécification B : applications aux bases de données. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.77--91. ⟨hal-01224671⟩
Collections
60
Consultations
0
Téléchargements