Sale Quick view Add to Cart Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project $159.75 $139.98 Springer