h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Ábrahám, Erika
AU  - Nalbach, Jasper Kurt Ferdinand
AU  - Promies, Valentin Maxim
TI  - Automated Exercise Generation for Satisfiability Checking
VL  - 13962
CY  - Cham, Switzerland
PB  - Springer
M1  - RWTH-2023-04951
T2  - Lecture notes in computer science
SP  - 1-16
PY  - 2023
T2  - 5. International Workshop on Formal Methods Teaching
CY  - 6 Mar 2023 - 6 Mar 2023, Lübeck (Germany)
Y2  - 6 Mar 2023 - 6 Mar 2023
M2  - Lübeck, Germany
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001346427700001
DO  - DOI:10.1007/978-3-031-27534-0_1
UR  - https://publications.rwth-aachen.de/record/957774
ER  -