Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings Ebook (sacbook.shop)

$10.00

Springer

Category: Tag: