TY -
GEN
AU - Schulze Frielinghaus, Stefan
AU - Seidl, Helmut
AU - Müller-Olm, Markus
AU - Seidl, Helmut
TI -
Interprocedural Program Analysis
Herbrand Equalities and Local Solvers
PB - Universitätsbibliothek der TU München
KW - DAT Datenverarbeitung, Informatik
PY - 2018
CY - München
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -