Sciweavers

15885 search results - page 95 / 3177
» Strategic Software Engineering
Sort
View
98
Voted
SEFM
2008
IEEE
15 years 9 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
113
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
100
Voted
ADAEUROPE
2008
Springer
15 years 9 months ago
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Sri Hari Krishna Narayanan, Mahmut T. Kandemir