Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize
Résumé
resume
resume
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125723
Soumis le : vendredi 6 mars 2015-11:25:01
Dernière modification le : mercredi 9 juillet 2025-15:06:18