Publications

Gospel—Providing Ocaml with a Formal Specification Language

AuthID
P-00R-FFA

Author(s)

Charguéraud, A

Filliâtre, JC

Lourenço, C

Pereira, M

Editor(s)

Beek,MH;McIver,A;Oliveira,JN

Document Type

Proceedings Paper

Year published

2019

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 11800 LNCS, Pages: 484-501

Conference

23Rd Symposium on Formal Methods, Fm 2019, in the Form of the 3Rd World Congress on Formal Methods, 2019, Date: 7 October 2019 through 11 October 2019

Indexing