SPARK User Group 2012

Verification of Dependable Software using SPARK & Isabelle