Inproceedings,
Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.
M. Schmellenkamp, A. Latys, and T. Zeume.SIGCSE (1), page 465-471. ACM, (2023)
Meta data
- BibTeX key
- conf/sigcse/SchmellenkampLZ23
- entry type
- inproceedings
- booktitle
- SIGCSE (1)
- year
- 2023
- pages
- 465-471
- publisher
- ACM
- crossref
- conf/sigcse/2023-1
- ee
- https://doi.org/10.1145/3545945.3569806
- isbn
- 978-1-4503-9431-4
- url
- http://dblp.uni-trier.de/db/conf/sigcse/sigcse2023-1.html#SchmellenkampLZ23
Tags
Users
Comments and Reviewsshow / hide
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
}