Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
A Framework for Order-Sorted Algebra
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Order-sorted parameterization and induction
Semantics and algebraic specification
Hi-index | 0.00 |