Reading Length
Home
Speed Tests
Login
Virgile Prevosto
Identifiers
Open Library
OL12998140A
Top Subjects
Computer software, development (1)
Books by Virgile Prevosto
Total count: 2
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Springer
2023-01-01
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Springer International Publishing AG
2024-01-01
