Sciweavers

ADAEUROPE
2010
Springer

Program Verification in SPARK and ACSL: A Comparative Case Study

13 years 10 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where ADAEUROPE
Authors Eduardo Brito, Jorge Sousa Pinto
Comments (0)