Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.031 segundos).
DataTítuloAutor(es)TipoAcesso
Set-2010Parser generation in Perl : an overview and available toolsAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel; Cruz, Daniela daArtigo em ata de conferênciaAcesso aberto
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigoAcesso aberto
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2011Towards rigorous analysis of open source softwareBarbosa, L. S.; Henriques, Pedro Rangel; Sanchez, AlejandroArtigo em ata de conferênciaAcesso aberto
2010Contract-based slicingCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2011GammaPolarSlicerAreias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel; Pinto, Jorge SousaArtigoAcesso aberto
2010Safe integration of annotated components in open source projectsAreias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigoAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.031 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir