Leveraging Applications of Formal Methods Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Allgemein

Marke
Springer International Publishing

Eigenschaften

Menü