Sciweavers

15974 search results - page 166 / 3195
» Object-Oriented Software Engineering
Sort
View
120
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf