Alexandre Madeira

Books
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2023
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
2017