-
2591
-
2592
-
2593
-
2594
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
2595
-
2596
WREN---an environment for component-based development.
Published in Software engineering notes.Article -
2597
-
2598
-
2599
-
2600