Skip to content
cs-conference-ranking.org

Practical Deductive Verification of OCaml Programs.

Mrio Pereira

VenueBFM
Year2024
ProceedingsFM (2)
DBLP recordconf/fm/Pereira24 ↗

Browse the full FM paper archive.