STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Julien Bertrane | lit.salon
Julien Bertrane
No bio available.
Add one in Open Library.
Books by Julien Bertrane (50 max)
+ shelf
+ list
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
2015
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne
