Guide to Software Verification with Frama-C: Core Components, Usages, and Applications by Nikolai Kosmatov Back to product details page >
