Author/Creator: Gallardo, María del Mar - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gallardo, María del Mar

1. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018)

Editors:: Gallardo, María del Mar; Merino, Pedro
Other Names:: International SPIN Workshop, 25th
Record Type:: Book
Extent:: 1 online resource (xvi, 347 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗