Light on string solving approaches to efficiently and correctly solving string constraints

Dissertation, Christian-Albrechts-Universität zu Kiel, 2021

Bibliographische Detailangaben

1. Verfasser:	Kulczynski, Mitja (VerfasserIn)
Körperschaft:	Christian-Albrechts-Universität zu Kiel (Grad-verleihende Institution)
Weitere Verfasser:	Nowotka, Dirk (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kiel 2022
Schriftenreihe:	Kiel computer science series 2022,1
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!