• SMT solving, interpolation, an...
  • Bestand

Treffer: SMT solving, interpolation, and quantifiers

Titel:
SMT solving, interpolation, and quantifiers
Beteiligt:
Schindler, Tanja (Verfasser) ; Podelski, Andreas (Akademischer Betreuer) 
Körper­schaft:
Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Veröffent­licht:
Freiburg : Universität, 2022
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Universität Freiburg, 2022
Schlagworte:
DOI:
10.6094/UNIFR/229572

Zusatz-Informationen

Zusatz-Funktionen