Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework | Publicación