Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)

Ein neues Werk aus dem neunten internationalen Symposium über formale Methoden bietet tiefe Einblicke in aktuelle Forschung, innovative Werkzeugentwi ...
Menü