Verifying Design with Proof Scores | Publicación