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

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

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

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

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

Agostino Cortesi | Verification, Model Checking, And Abstract

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Sharon Shoham, Fritz Henglein, Yakir Vizel

Verification, Model Checking, and Abstract Interpretation, Fachbücher

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

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Dirk Beyer, Damien Zufferey

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux