no image available Dickens & Co. "Code Warriors: Revolutionizing Compiler Validation with Formal Methods" "A New Breed of Compiler Heroes: How NASA-Approved Formal Methods are Saving the Day" Price: 30.00€