Model Checking Software - 9783642391750

Chen - Knowledge and Systems Sciences 20th International Symposium - X555z

Bjrner - FM 2015 Formal Methods 20th International Symposium Oslo - X555z

Model Checking Software : 20th International Symposium, Spin 2013, Stony Broo...

Logozzo - Static Analysis 20th International Symposium SAS 2013 Se - X555z

Biondi - Model Checking Software 26th International Symposium SPIN - X555z

Bil - Algorithmic Game Theory 10th International Symposium SAGT 20 - X555z