Publication
Detail
Publication date: 01/10/2019GOSPEL — Providing OCaml with a Formal Specification Language
| URL | https://hal.inria.fr/hal-02157484/ |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Address | Porto, Portugal |
| URL | https://hal.inria.fr/hal-02157484/ |
| Publisher | Universitat Politècnica de Catalunya |
| Address | Porto, Portugal |