Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)
Aus52.94 EUR 4