Stefan Berghofer. Verification of Dependable Software using SPARK and Isabelle. In Jörg Brauer, Marco Roveri, Hendrik Tews, editors, 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. Volume 24 of OASICS, pages 15-31, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
Abstract is missing.