Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
11
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
12
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