Percorrer  por autor Militão, Filipe David Oliveira
        
     
    
	
	
	
	
	
	
	
		Mostrar resultados 1-2 de 2.
	
	
	
    
    
	| Data | Título | Autor(es) | Tipo | Acesso | 
|---|---|---|---|---|
| 2008 | Design and implementation of a behaviorally typed programming system for web services | Militão, Filipe David Oliveira | masterThesis |  | 
| Dez-2015 | Rely-guarantee protocols for safe interference over shared memory | Militão, Filipe David Oliveira | doctoralThesis |  | 

