Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution

Amsterdam [u.a.] / Elsevier Science (2018) [Fachzeitschriftenartikel]

Journal of Logical and Algebraic Methods in Programming
Band: 97
Seite(n): 105-130

Autorinnen und Autoren

Autorinnen und Autoren

Hensel, Jera
Giesl, Jürgen
Frohn, Florian
Ströder, Thomas

Identifikationsnummern