Génération de code exécutable à partir d'une spécification B : applications aux bases de données
Résumé
no abstract
no abstract
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224671
Soumis le : mercredi 4 novembre 2015-22:50:52
Dernière modification le : mercredi 9 juillet 2025-15:06:18