Luis Soares Barbosa · 2 obras en el catálogoObrasLanguage Engineering And Rigorous Software DevelopmentFormal Aspects of Component Software