Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Loading edition detail...

Preparing this view.

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne

Bookitis Pick

Static Analysis and Verification of Aerospace Software by Abst...Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent MauborgnePublished 2015

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Search language	english
ISBN_13	978-1-601-98856-0 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.