Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. https://doi.org/10.1145/3545945.3569806
Chicago Style (17th ed.) Citation"Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems." Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1 . https://doi.org/10.1145/3545945.3569806.
MLA (9th ed.) Citation"Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems." Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1, , https://doi.org/10.1145/3545945.3569806.
Warning: These citations may not always be 100% accurate.