Dieses Buch fasst die Ergebnisse der ersten internationalen Konferenz über zertifizierte Programme und Beweise zusammen, präsentiert neue Ansätze zur formalen Verifikation, Software‑Sicherheit und theoretischen Grundlagen aus Kenting.