no image available Dickens & Co. "CodeCrunch: A Breakthrough in Automated Verification of C Programs" "Unraveling the Complexity of C Programs with Mixed Axiomatic Semantics" Price: 38.00€