Verification, Model Checking, And Abstract Interpretation Deepak

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

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...

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Jens Palsberg, Isil Dillig

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Andreas Podelski, Byron Cook

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Neil Jones, Markus Müller-Olm

Agostino Cortesi | Verification, Model Checking, And Abstract

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Roberto Giacobazzi, Isabella Mastroeni, Josh B...