Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes. (Search strategies for solving constraint systems over floats for program verification)

Heytem Zitoun. Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes. (Search strategies for solving constraint systems over floats for program verification). PhD thesis, University of Côte d'Azur, Nice, France, 2018. [doi]