Oliveira, Marcel Vinícius Medeiros
232  Ergebnisse:
Personensuche X
?
2

Formal methods: foundations and applications 

12th Brazilian Symposium on Formal Methods, SBMF 2009, Gram...  Lecture notes in computer science ; 5902
 
?
3

Development and results of an instrument to search for comp..:

Gomes, Apuena Vieira ; Hazin, Izabel ; Falcão, Jorge Tarcísio da Rocha...
REIS, Juliana Teixeira Da Câmara. et al. Development and results of an instrument to search for competences and abilities in information technology. Creative Education, v. 06, p. 2384-2396, 2015. Disponível em: . Acesso em: 24 out. 2016.  , 2015
 
?
4

ArcAngel: a Tactic Language For Refinement and its Tool Sup..:

Vinicius Medeiros Oliveira, Marcel
Vinicius Medeiros Oliveira, Marcel; Lúcia Caneca Cavalcanti, Ana. ArcAngel: a Tactic Language For Refinement and its Tool Support. 2002. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2002..  , 2002
 
1-15