Si Mohamed Lamraoui


AuthID: R-00H-J36

Publicações a aguardar confirmação

1
TÍTULO: Studying Verification Conditions for Imperative Programs  Full Text
AUTORES: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: ECEASST, VOLUME: 72
INDEXADO EM: Scopus DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service