Tobias Nipkow
-
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology