Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Publisher: Now Publishers
Published: 2015
Language: eng
ISBN-13: 9781601988560
Subjects: Aerospace industries; Computer programs; Statics