Eduardo Augusto Peixoto da Silva Brito


AuthID: R-001-P86

Publicações Confirmadas: 1



1
TÍTULO: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTORES: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106
INDEXADO EM: Scopus WOS DBLP CrossRef

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

Links Úteis

Ajuda

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