Model Checking Software : 23rd International Symposium, Spin 2016, Co-located...

String Processing and Information Retrieval : 23rd International Symposium, S...

Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, Sept...

String Processing and Information Retrieval : 23rd International Symposium, S...

Bonacki - Model Checking Software 23rd International Symposium SPI - X555z

Model Checking Software: 31st International Symposium, SPIN 2025, Hamilton, ON,

Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, Sept...

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