V

Virgile Prevosto

2 books found

Books by Virgile Prevosto

Tests and ProofsVirgile Prevosto

Tests and Proofs

Virgile Prevosto

2023No page data

Guide to Software Verification with Frama-CNikolai Kosmatov

Guide to Software Verification with Frama-C

Nikolai Kosmatov