Goedicke, Michael; Köllmann, Carsten:
A Specification Language for Static Analysis of Student Exercises
In: Proceedings of the 23rd International Conference on Automated Software Engineering - ASE 2008; L'Aquila, Italy; 15 - 19 September 2008 - Piscataway: IEEE, 2008, pp. 355 - 358
2008book article/chapter in Proceedings
Computer ScienceEconomics
Title in English:
A Specification Language for Static Analysis of Student Exercises
Author:
Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Other
connected with university
;Köllmann, Carsten
DOI
10.1109/ASE.2008.47
IEEE ID
4639340
Scopus ID
56249093522
Language of text:
English
Appears in
Proceedings of the 23rd International Conference on Automated Software Engineering
Conference
ASE 2008; L'Aquila, Italy; 15 - 19 September 2008
Place of publication:
Piscataway
Publisher:
IEEE
Year of publication:
2008
in:
pp. 355 - 358
ISBN
978-1-4244-2188-6
ISBN
978-1-4244-2187-9
Keyword, Topic:
AGG; Graph transformation; Java; Pattern matching; Static analysis