Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2001Combining interaction nets with externally defined programsFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de; Pinto, Jorge SousaPoster em 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
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
2008A comparative study of verification condition generatorsFialho, Diogo; Pinto, Jorge SousaOutroAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir