Portal eduCapes: Buscando no repositório

Navegando por Autor Moura, Flávio Leonardo Cavalcanti de

Mostrando resultados 1 a 6 de 6

Um estudo sobre verificação formal de sistemas concorrentes
Moura, Flávio Leonardo Cavalcanti de
Queiroz, João Paulo Carvalho Colu de
24-Out-2012
★★★★★ (0)
Um estudo sobre verificação formal de sistemas concorrentes
Moura, Flávio Leonardo Cavalcanti de
Queiroz, João Paulo Carvalho Colu de
24-Out-2012
★★★★★ (0)
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Moura, Flávio Leonardo Cavalcanti de
Barros, Flávio José Ferro
26-Jan-2011
★★★★★ (0)
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Moura, Flávio Leonardo Cavalcanti de
Barros, Flávio José Ferro
26-Jan-2011
★★★★★ (0)
Verificação de propriedades do cálculo גex em Coq
Moura, Flávio Leonardo Cavalcanti de
Carvalho Segundo, Washington Luís Ribeiro de
11-Mai-2011
★★★★★ (0)
Verificação de propriedades do cálculo גex em Coq
Moura, Flávio Leonardo Cavalcanti de
Carvalho Segundo, Washington Luís Ribeiro de
11-Mai-2011
★★★★★ (0)

Mostrando resultados 1 a 6 de 6