Applied Formal Verification: For Digital Circuit Design | DealShopping France