Alexandre Madeira

• Dynamic Logic. New Trends and Applications
• Recent Trends in Algebraic Development Techniques