no image available Dickens & Co. "Building Trust in Critical Systems: A Novel Approach to Verification and Validation" "Exploring the Frontiers of Compositional Model Checking for Enterprise Information Systems" Price: 25.00€