Sciweavers

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