no image available Dickens & Co. "Building Trust: Proving Programs' Behavior through Inductive Strategies" "Harnessing the Power of Mathematical Logic to Verify and Validate Program Properties" Price: 32.00€