Goedicke, Michael; Koellmann, C.:
A Specification Language for Static Analysis of Student Exercises
In: Proceedings of the 23rd International Conference on Automated Software Engineering - Aquila, Italy, 2008
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik; Wirtschaftswissenschaften
Titel:
A Specification Language for Static Analysis of Student Exercises
Autor(in):
Goedicke, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Koellmann, C.
Erscheinungsjahr:
2008
Erschienen in:
Proceedings of the 23rd International Conference on Automated Software Engineering - Aquila, Italy, 2008