Static Analysis And Verification Of Aerospace Software By Abstract...

Static Analysis of Actors by Abstract Interpretation, Fachbücher

Software Verification And Analysis An Integrated, Hands-on Approach

String Analysis For Software Verification And Security 4819

Tevfik Bultan (u. A.) | String Analysis For Software Verification And

Agostino Cortesi | Verification, Model Checking, And Abstract

Assessing The Impact Of Automatic Static Analysis On Software Quality

Software Verification and Analysis, Fachbücher von Janusz Laski, William Stanley

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Charlin Chester | Handbook Of Applied And Abstract Analysis | Buch |

J. F. Doyle | Static And Dynamic Analysis Of Structures | Buch |

Static And Dynamic Analysis Of Cable-stayed Bridges Mohammed Shaaban

Foundations Of Real And Abstract Analysis 2334

Verification, Model Checking, And Abstract Interpretation | Piskac (u.

Design And Analysis Of Leaf Spring Design And Static Structural