Sciweavers

15777 search results - page 196 / 3156
» Engineering in Software
Sort
View
97
Voted
ADAEUROPE
2010
Springer
15 years 2 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto