@inproceedings{chargueraud:hal-02157484, TITLE = {{GOSPEL -Providing OCaml with a Formal Specification Language}}, AUTHOR = {Chargu{\'e}raud, Arthur and Filli{\^a}tre, Jean-Christophe and Louren{\c c}o, Cl{\'a}udio and Pereira, M{\'a}rio}, URL = {https://inria.hal.science/hal-02157484}, BOOKTITLE = {{FM 2019 - 23rd International Symposium on Formal Methods}}, ADDRESS = {Porto, Portugal}, YEAR = {2019}, MONTH = Oct, PDF = {https://inria.hal.science/hal-02157484v2/file/final.pdf}, HAL_ID = {hal-02157484}, HAL_VERSION = {v2}, }