Arthur Chargu?Raud
AuthID: R-00J-E3Q
1
TITLE: GOSPEL - Providing OCaml with a Formal Specification Language
AUTHORS: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLISHED: 2019, SOURCE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
AUTHORS: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLISHED: 2019, SOURCE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
INDEXED IN: 
DBLP
DBLP