STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Julien Signoles | lit.salon
Julien Signoles
No bio available.
Add one in Open Library.
Books by Julien Signoles (50 max)
+ shelf
+ list
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
2024
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
