Sciweavers

15787 search results - page 88 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
106
Voted
SEFM
2008
IEEE
15 years 9 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
120
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf