Luís Soares Barbosa

Formal Aspects of Component Software

Dynamic Logic. New Trends and Applications