Si Mohamed Lamraoui
AuthID: R-00H-J36
1
TITLE: Studying Verification Conditions for Imperative Programs Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP