Mostrando
21 - 26
resultados de
26
para a busca '
Pinto, Jorge Sousa
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Pinto, Jorge Sousa
Exportação
Exportar RIS
Exportar CSV
Mostrando
21 - 26
resultados de
26
para a busca '
Pinto, Jorge Sousa
'
, tempo de busca: 0,07s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
21
Assertion-based slicing and slice graphs
por
Barros, José Bernardo
Publicado em 2012
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
22
GammaPolarSlicer
por
Areias, Sérgio
Publicado em 2011
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
23
Studying verification conditions for imperative programs
por
Lourenço, Cláudio Filipe Belo Silva
Publicado em 2015
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
24
Safe integration of annotated components in open source projects
por
Areias, Sérgio
Publicado em 2010
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
25
Logic-based schedulability analysis for compositional hard real-time embedded systems
por
Pedro, André
Publicado em 2015
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
26
CAOVerif: an open-source deductive verification platform for cryptographic software implementations
por
Almeida, José Bacelar
Publicado em 2014
Outros Autores:
“
...
Pinto
,
Jorge
Sousa
...
”
Acessar documento
Artigo
[1]
Anterior
1
2
Exportar CSV
Export RIS
Carregando...