Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Java program analysis by symbolic execution

Titel:

Java program analysis by symbolic execution / Carsten Otto ; Jürgen Giesl, Fausto Spoto

Beteiligt:

Veröffentlicht:

Aachen : Universitätsbibliothek der RWTH Aachen, 2015

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2015,07)

Hochschulschrift:

Dissertation, Aachen, Techn. Hochsch., 2015

Anmerkungen:

In: Aachen : Fachgruppe Informatik, RWTH Aachen University, 2015

Schlagworte:

Zusatz-Informationen