.gif)
] Filters: Author is Ehrich, H.-D. [Clear All Filters]
"TROLL \em light -- The Language and its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract