Model Checking Software 16th International Spin Workshop, Grenoble,

Model Checking Software 26th International Symposium, Spin 2019,

Model Checking And Artificial Intelligence 5th International Workshop,

Model Checking Software, Fachbücher von Corina S. Pasareanu

Selected Areas In Cryptography 16th International Workshop, Sac 2009,

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

Information Security Applications 16th International Workshop, Wisa

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

Approximation And Online Algorithms 16th International Workshop, Waoa

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Hybrid Systems Biology 5th International Workshop, Hsb 2016, Grenoble,

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

Improving Scalability Of Model Checking Software Architectures A

Formal Aspects Of Component Software 16th International Conference,

Mastering Scale And Complexity In Software Reuse 16th International