Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and Applications

Allgemein

Marke
Springer Berlin Heidelberg

Eigenschaften

Menü