no image available Dickens & Co. "Breaking Codes: Unraveling the Mystery of Higher-Order Store Programs" "Uncovering the Hidden Logic of Symbolic Execution Proofs and Shattering the Code" Price: 28.00€