Modular strategic SMT solving with SMT-RAT

Warsaw / De Gruyter Open (2018) [Fachzeitschriftenartikel]

Acta Universitatis Sapientiae / Informatica
Band: 10
Ausgabe: 1
Seite(n): 5-25

Autorinnen und Autoren

Autorinnen und Autoren

Kremer, Gereon
Ábrahám, Erika

Identifikationsnummern