Verified Software: Theories, Tools, and Experiments
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$61.65$68.50
10% off
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
This volume constitutes the thoroughly refereed post-conference
proceedings of the 7th International Conference on Verified Software:
Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.
The 12 revised...