Pages that link to "Item:Q1019019"

The following pages link to Graph transformations for object-oriented refinement (Q1019019):

Displaying 3 items.

• A graph-based generic type system for object-oriented programs (Q2418638) (← links)
• Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
• rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)