no image available Dickens & Co. "Breaking Down Complexity: Preserving Correctness in Requirements Evolution through Refinement" "Unraveling the Mysteries of Requirements Evolution: A Guide to Preserving Correctness through Refinement in Event-B" Price: 30.00€