Percorrer por autor 1936 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 68-77 de um total de 77 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2011Verification conditions for source-level imperative programsFrade, M. J.; Pinto, Jorge SousaArtigoAcesso aberto
3-Abr-2023A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3Frade, M. J.; Pinto, Jorge SousaArtigoAcesso embargado (1 Ano)
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2003Weak reduction and garbage collection in interaction netsPinto, Jorge SousaArtigoAcesso aberto
Jan-2022Why3-do: The way of harmonious distributed system proofsLourenço, Cláudio Belo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Mostrar 68-77 de um total de 77 resultados. < anterior