Damien Rouhling. Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle). PhD thesis, University of Côte d'Azur, Nice, France, 2019. [doi]