Model Checking Software
Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Gallardo, Maria del Mar; Merino, Pedro
Springer International Publishing AG
06/2018
347
Mole
Inglês
9783319941103
15 a 20 dias
557