Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret · 2015
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2015
- Language
- English
- Publisher
- Now Publishers
- Editions
- 1
- ISBN
- 9781601988560
Data source: Wikidata