Building secure cars : assuring the automotive software development lifecycle
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden