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