1
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Година:
2024
Език:
english
Файл:
PDF, 22.43 MB
0 / 5.0
english, 2024
2
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Година:
2024
Език:
english
Файл:
EPUB, 59.11 MB
0 / 5.0
english, 2024
3
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Година:
2023
Език:
english
Файл:
PDF, 10.21 MB
0 / 0
english, 2023