Login

in_proceedings

Detail

Publication date: 23 de July, 2024

Cameleer: A Deductive Verification Tool for OCaml

Pub. Date 15/07/2021
Publisher Springer
Journal Numerical Algorithms