Objects and classes in Algol-like languages
Information and Computation - FOOL V
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Defining relationships in ecology using object-oriented formal specifications
Mathematical and Computer Modelling: An International Journal
Correctness of intrusive data structures using mixins
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
| Hi-index | 0.00 |