Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17’18, 2016, Revised Selected Papers Ebook (yibook.shop)

$10.00

Springer

Category: Tag: