Model Checking Software 16th International Spin Workshop, Grenoble,

Model Checking Software 23rd International Symposium, Spin 2016,

Model Checking Software 26th International Symposium, Spin 2019,

Model Checking Software 20th International Symposium, Spin 2013, Stony

Model Checking And Artificial Intelligence 5th International Workshop,

Fast Software Encryption 16th International Workshop, Fse 2009 Leuven,

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

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

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

Information Security Applications 16th International Workshop, Wisa

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

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

Computer Algebra In Scientific Computing 16th International Workshop,

Algorithms In Bioinformatics 16th International Workshop, Wabi 2016,

Digital Forensics And Watermarking 16th International Workshop , Iwdw

Security And Trust Management 16th International Workshop, Stm 2020,