Cover Image
Read Now

1
Published 2018
Springer International Publishing
“... International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK...”