Áreas envolvidas

 

Mobilidade de Código em Sistemas Abertos Distribuídos
Métodos Formais