Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
by María del Mar Gallardo, Pedro Merino Paperback 2018
- Author: María del Mar Gallardo, Pedro Merino
- ISBN 13: 9783319941103
- ISBN 10: 3319941100
- Publication Year: 2018
- Language: English
Specifications
| Index-10 | 3319941100 |
|---|---|
| Index-13 | 9783319941103 |
| Language | English |
✨ Readers also enjoyed...
Psychoanalytic Perspectives on Kno…