Brian Harrington 0001, Abdalaziz Galal, Rohita Nalluri, Faiza Nasiha, Anagha Vadarevu. Specifications and Contract Grading in Computer Science Education. In Ben Stephenson, Jeffrey A. Stone, Lina Battestilli, Samuel A. Rebelsky, Libby Shoop, editors, Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024. pages 477-483, ACM, 2024. [doi]
Abstract is missing.