Verification in the Large via Symbolic Approximation | Publicación