Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sigcse/SchmellenkampLZ23
%A Schmellenkamp, Marko
%A Latys, Alexandra
%A Zeume, Thomas
%B SIGCSE (1)
%D 2023
%E Doyle, Maureen
%E Stephenson, Ben
%E Dorn, Brian
%E Soh, Leen-Kiat
%E Battestilli, Lina
%I ACM
%K dblp
%P 465-471
%T Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.
%U http://dblp.uni-trier.de/db/conf/sigcse/sigcse2023-1.html#SchmellenkampLZ23
%@ 978-1-4503-9431-4
@inproceedings{conf/sigcse/SchmellenkampLZ23,
added-at = {2023-03-11T00:00:00.000+0100},
author = {Schmellenkamp, Marko and Latys, Alexandra and Zeume, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/22e0e577a13a3d7813f252e73aca5c728/dblp},
booktitle = {SIGCSE (1)},
crossref = {conf/sigcse/2023-1},
editor = {Doyle, Maureen and Stephenson, Ben and Dorn, Brian and Soh, Leen-Kiat and Battestilli, Lina},
ee = {https://doi.org/10.1145/3545945.3569806},
interhash = {f6dac22bc63081d0cd0c68e9546207e8},
intrahash = {2e0e577a13a3d7813f252e73aca5c728},
isbn = {978-1-4503-9431-4},
keywords = {dblp},
pages = {465-471},
publisher = {ACM},
timestamp = {2024-04-09T17:36:09.000+0200},
title = {Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.},
url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2023-1.html#SchmellenkampLZ23},
year = 2023
}