Login / Signup

The Theory and Practice of Deductive Verification of OCaml Programs.

Mário Pereira
Published in: CoRR (2024)
Keyphrases