no image available Dickens & Co. "A Quantum Leap in Verification: Unlocking the Potential of Formal Methods in FMCAD 2014" "Exploring the Frontiers of Formal Verification: A Journey Through the 2014 FMCAD Conference" Price: 26.00€