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