Media type: E-Book; Thesis Title: Expanding the horizons of finite-precision analysis Contributor: Lohar, Debasmita [Author]; Darulová, Eva [Degree supervisor]; Volkova, Anastasia [Degree supervisor]; Finkbeiner, Bernd [Degree supervisor]; Nagarakatte, Santosh [Degree supervisor] Published: Saarbrücken, 2023 Extent: 1 Online-Ressource (xi, 149 Seiten); Illustrationen Language: English DOI: 10.22028/D291-41842 Identifier: Keywords: Hochschulschrift Origination: University thesis: Dissertation, Universität des Saarlandes, 2024 Footnote: Access State: Open Access