Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Ein kompakter Band aus der IFM‑Konferenz 2016 in Reykjavík, der praxisnahe Beiträge zu formalen Verifikationswerkzeugen und deren Anwendung in sicherheitskritischen Softwaresystemen zusammenführt.