Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... Notes in Computer Science, Band 13036)

Dieses Buch bündelt die Ergebnisse des 10. Internationalen Symposiums zu formalen Methoden, liefert praxisnahe Fallstudien, theoretische Grundlagen u ...
Menü