A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Journal of Functional Programming
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Hi-index | 0.00 |