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 / Fach: Informatik; Wirtschaftswissenschaften