Alexandre Madeira

Recent Trends in Algebraic Development Techniques

Dynamic Logic. New Trends and Applications