Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers Ebook (yibook.shop)

$10.00

Springer

Category: Tag: