| No. |
Title |
Author |
Year |
| 1 |
A Tool for the Certification of Sequential Function Chart based System Specifications |
Blech, Jan Olaf |
2012 |
| 2 |
Adaptable Value-Set Analysis for Low-Level Code |
Brauer, Jörg et al. |
2012 |
| 3 |
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions |
Gückel, Dominique et al. |
2012 |
| 4 |
Frontmatter, Table of Contents, Preface |
Brauer, Jörg et al. |
2012 |
| 5 |
OASIcs, Volume 24, SSV'11, Complete Volume |
Brauer, Jörg et al. |
2012 |
| 6 |
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms |
Gast, Holger |
2012 |
| 7 |
Verification of Dependable Software using SPARK and Isabelle |
Berghofer, Stefan |
2012 |
| 8 |
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools |
Jääskeläinen, Antti et al. |
2012 |
