Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions....
Full description
Saved in: