Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18’19, 2018, Revised Selected Papers Ebook (yibook.shop)

$10.00

Springer

Category: Tag: