Sciweavers

5668 search results - page 87 / 1134
» The case for software evolution
Sort
View
151
Voted
ADAEUROPE
2010
Springer
15 years 5 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto