Mon, 03/30/2020 - 08:39
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.