Bücher — ACSL

EN
Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programmiersprachen