Rechercher dans
Nos Events & Actus
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Université Ibn Khaldoun
Date de soutenance: 29-11-2004
