Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
11
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 IN MY: DBLP
DBLP12
TITLE: A Generalized Approach to Verification Condition Generation Full Text
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 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
TITLE: Single-assignment program verification
AUTHORS: Cláudio Belo Lourenço;
PUBLISHED: 2018
AUTHORS: Cláudio Belo Lourenço;
PUBLISHED: 2018
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP