Publication
-
November 2005 -
Analysis and transformation of source code by parsing and rewriting Dissertation
Software Analysis and TransformationNovember 2005
-
November 2005
-
Composing constraint solvers Dissertation
Formal MethodsNovember 2005
-
SMIL 2.1 Media Module Functional Specification Tech Report
December 2005
-
December 2005
-
SMIL 2.1 Mobile Profile Tech Report
December 2005
-
SMIL 2.1 Layout Module Functional Specification Tech Report
December 2005