OPA
2025
Formal Techniques for Distributed Objects, Components, and Systems
2025
Software Engineering and Formal Methods
2023
Brincar essencial: a aromaterapia na educação
2022
Design of Reinforced Concrete Sections Under Bending and Axial Forces
2022
Reversible Computation: Extending Horizons of Computing
2020