![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 12031 (11th International Conference, VSTTE 2019, New York City, NY, USA, July 13â14, 2019, Revised Selected Papers) ||
Chakraborty, Supratik, Navas, Jorge A.Volume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-41600-3
File:
PDF, 9.21 MB
2020