A calculus for modular loop acceleration and non-termination proofs

Frohn, Florian (Corresponding author); Fuhs, Carsten

Berlin ; Heidelberg [u.a.] : Springer (2022)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: International journal on software tools for technology transfer
Band: 24
Heft: 5
Seite(n)/Artikel-Nr.: 691-715

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) [121420]