Pages that link to "Item:Q3585034"
From MaRDI portal
The following pages link to Component Publications and Compositions (Q3585034):
Displaying 4 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)