Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
11
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
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
DBLP NO MEU: DBLP
DBLP12
TÃTULO: A Generalized Approach to Verification Condition Generation Full Text
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1
13
TÃTULO: Single-assignment program verification
AUTORES: Cláudio Belo Lourenço;
PUBLICAÇÃO: 2018
AUTORES: Cláudio Belo Lourenço;
PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP