no image available Dickens & Co. "Fractured Code: Bridging the Gap between Design and Verification" "Exploring the Frontiers of Formal Methods and Models for Codesign" Price: 19.00€