Arthur Chargu?Raud


AuthID: R-00J-E3Q

Publicações a aguardar confirmação

1
TÍTULO: GOSPEL - Providing OCaml with a Formal Specification Language
AUTORES: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLICAÇÃO: 2019, FONTE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service