1
TÍTULO: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTORES: Luis Soares Barbosa ; Markus Lumpe;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lumpe, M; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus