Recent Trends in Algebraic Development TechniquesAlexandre Madeira, Manuel A. Martins · First published 2023Open the Tome
Dynamic Logic. New Trends and ApplicationsAlexandre Madeira, Mário Benevides · First published 2018Open the Tome
