bib.howest.be Search Results

You searched for: Auteur Madeira, Alexandre.

1 - 2 of 2

1. Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1. 3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Author:: Madeira, Alexandre.; Martins, Manuel A.
Publisher:: Cham Springer 2023
Format:: e-book

2. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author:: Alexandre Madeira; Knapp, Alexander
Publisher:: Springer Nature 2024
Format:: e-book