h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Ábrahám, Erika
%A Nalbach, Jasper Kurt Ferdinand
%A Promies, Valentin Maxim
%T Automated Exercise Generation for Satisfiability Checking
%V 13962
%C Cham, Switzerland
%I Springer
%M RWTH-2023-04951
%B Lecture notes in computer science
%P 1-16
%D 2023
%< Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors
%B 5. International Workshop on Formal Methods Teaching
%C 6 Mar 2023 - 6 Mar 2023, Lübeck (Germany)
Y2 6 Mar 2023 - 6 Mar 2023
M2 Lübeck, Germany
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001346427700001
%R 10.1007/978-3-031-27534-0_1
%U https://publications.rwth-aachen.de/record/957774