SPARK User Group 2012

Integrating Proof and Testing in Verification Strategies