Christiano Braga · 3 obras en el catálogoObrasFormal Aspects of Component SoftwareTTerritórios em movimentoTerritórios em movimentoFFormal Methods : Foundations and ApplicationsFormal Methods : Foundations and Applications