Exploring Error Types in Formal Languages Among Students of Upper Secondary Education. - Marko Schmellenkamp; Dennis Stanglmair; Tilman Michaeli; Thomas Zeume (Koli Calling, 2024)