Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Notes in Computer Science, Band 12549)

Ein Sammelband aus den Vorträgen der 12. Internationalen Konferenz VSTTE 2020 und des 13. Workshops NSV 2020, der praxisnahe Techniken zur Softwareverifikation präsentiert und aktuelle Forschungsergebnisse in einem kompakten Werk zusammenfasst.

Teilen: