%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 }