Luís Soares Barbosa · 2 obras en el catálogoObrasFormal Aspects of Component SoftwareDDynamic Logic. New Trends and ApplicationsDynamic Logic. New Trends and Applications