Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science - Rewriting logic and its applications
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Hi-index | 0.00 |