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]
No references recorded for this publication.
No citations of this publication recorded.