Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A survey of component based system quality assurance and assessment
Information and Software Technology
Hi-index | 0.00 |