Leveraging Applications of Formal Methods: 10th International Symposium - Computer Science Notes, Band 13036

Ein Fachband des 10. Internationalen Symposiums zu formalen Methoden präsentiert aktuelle Forschungsergebnisse, Fallstudien zur Verifikation und praktische Leitfäden für Softwarequalität.

Teilen: