Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |