GOSPEL - Providing OCaml with a Formal Specification Language.

Arthur Charguraud, Jean-Christophe Fillitre, Cludio Loureno, Mrio Pereira

Browse the full FM paper archive.