Media type: E-Book; Thesis Title: Theory and Implementation of Software Bounded Model Checking Contributor: Merz, Florian [Verfasser]; Sinz, C. [Akademischer Betreuer] imprint: Karlsruhe: KIT-Bibliothek, 2016 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 Footnote: Access State: Open Access