> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; Dissertation; Elektronische Hochschulschrift; E-Book Titel: Efficient Verification of Programs with Complex Data Structures Using SMT Solvers Beteiligte: Liu, Tianhai [Verfasser:in] Erschienen: KIT-Bibliothek, Karlsruhe, 2018-01-01 Sprache: Englisch DOI: https://doi.org/10.5445/IR/1000084545 Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang