Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Gallardo, María del Mar; Gallardo, María del Mar; Merino, Pedro; Merino, Pedro (Springer International Publishing : Imprint: Springer, 2018)