Pages that link to "Item:Q5395120"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395120):
Displaying 5 items.
- Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
- Architectural refactoring of corporate program systems (Q2432991) (← links)
- Pre-Galois connection on coalgebras for generic component refinement (Q2873691) (← links)
- (Q4412468) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)