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

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

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

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

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

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

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

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

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

Agostino Cortesi | Verification, Model Checking, And Abstract

Markus Müller-olm | Modular Compiler Verification | Taschenbuch |

Verification, Model Checking, And Abstract Interpretation 15th

Doron A. Peled (u. A.) | Model Checking And Artificial Intelligence |

Julian-steffen Müller | Satisfiability And Model Checking In Team

Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |