Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems

Saved in:
Bibliographic Details
Published inProceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1
Format Conference Proceeding
LanguageEnglish
Online AccessGet full text
DOI10.1145/3545945.3569806

Cover

More Information
DOI:10.1145/3545945.3569806