Practical Deductive Verification of OCaml Programs

Mário Pereira,

URL	https://doi.org/10.1007/978-3-031-71177-0_29
Book title	International Symposium on Formal Methods (FM 2024)

Publication