no image available Dickens & Co. "Ensuring Software Quality: Leveraging Formal Specifications for Robust Testing" "Uncovering the Power of Stepwise Refinement in Validating Software Systems" Price: 28.00€