Verification, Model Checking, And Abstract Interpretation 5th

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Agostino Cortesi | Verification, Model Checking, And Abstract

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

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

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

Model Checking Abstract State Machines 6717

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Model Checking And Artificial Intelligence 5th International Workshop,

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Conformance Checking Relating Processes And Models 5214

Empirical Asset Pricing Models Data, Empirical Verification, And Model