Automated Exercise Generation for Satisfiability Checking

Ábrahám, Erika; Nalbach, Jasper Kurt Ferdinand (Corresponding author); Promies, Valentin Maxim

Cham, Switzerland : Springer (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors
Seite(n)/Artikel-Nr.: 1-16

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]