STTT Journal - Special issue devoted to SPIN 2018

The International Journal of Software Tools and Techonology Transfer (STTT) has published online the volume 22, issue 2. This special issue includes extended version of the best papers presented in  the 25th International Symposium on Model Checkng Sowftware (SPIN 2018) held in Málaga, Spain, June 20-22, 2018.

Link to the issue.