no image available Dickens & Co. "Code Crusaders: Verifying Recursive Programs with Algorithms" "A journey through the labyrinth of source-to-source program transformation: Uncovering the Techniques to Unravel the Mysteries of Recursive Programs" Price: 21.00€