Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret · 2015
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Now Publishers
- מהדורות
- 1
- ISBN
- 9781601988560
מקור הנתונים: Wikidata