Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-8 de um total de 8 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2018JStanley: Placing a green thumb on Java collectionsPereira, Rui; Cunha, Jácome; Simão, Pedro; Saraiva, JoãoArtigo em ata de conferênciaAcesso restrito UMinho
2018Explaining Spreadsheets with Spreadsheets (Short Paper)Cunha, Jácome; Dan, Mihai; Erwig, Martin; Fedorin, Danila; Grejuc, AlexArtigo em ata de conferênciaAcesso restrito UMinho
2015Zipper-based modular and deforested computationsMartins, Pedro Miguel Ribeiro; Fernandes, João Paulo Soares; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2016Memoized zipper-based attribute grammarsFernandes, João Paulo Sousa Ferreira; Martins, Pedro Miguel Ribeiro; Pardo, Alberto; Saraiva, João; Viera, MarcosArtigo em ata de conferênciaAcesso aberto
1-8 de um total de 8 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir