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 Sammelwerk2008InformatikWirtschaftswissenschaften
Titel:
A Specification Language for Static Analysis of Student Exercises
Autor(in):
Goedicke, MichaelLSF; Koellmann, C.
Erscheinungsjahr
2008