> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Implementation of a Predicate-Guided Termination Analysis for Pointer Programs Beteiligte: Khalifa, Mohamed [Verfasser:in]; Fesefeldt, Ira Justus [Akademische:r Betreuer:in]; Noll, Thomas [Akademische:r Betreuer:in]; Katoen, Joost-Pieter [Akademische:r Betreuer:in] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2020 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2020-10469 Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Bachelorarbeit, RWTH Aachen University, 2020 Anmerkungen: Zugangsstatus: Freier Zugang