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