Introducing GitHub Classroom into a Formal Methods Module
Book chapter in Lecture Notes in Computer Science (September 2024)
The most recent citing publications are shown below. View all 29 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (September 2024)
Article in Assessment (June 2024)
Article in Scientific Reports (May 2024)