Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings Ferreira, Carla Heftet / 2025 / Engelsk
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings Ferreira, Carla Heftet / 2023 / Engelsk
Nature-Based Solutions in Supporting Sustainable Development Goals Theory and Practice Pan, Haozhi Heftet / 2024 / Engelsk
Environmental Sustainability in the Mediterranean Region Challenges and Solutions Ferreira, Carla Sofia Santos Innbundet / 2024 / Engelsk
Développement d'ovules pour le traitement des vulvovaginites Fontoura Ferreira, Carla Heftet / 2026 / Fransk
Development of eggs for the treatment of vulvovaginitis Fontoura Ferreira, Carla Heftet / 2026 / Engelsk
Sviluppo di ovuli per il trattamento della vulvovaginite Fontoura Ferreira, Carla Heftet / 2026 / Italiensk
Rozwój komórek jajowych do leczenia zapalenia sromu i pochwy Fontoura Ferreira, Carla Heftet / 2026 / Polsk
Entwicklung von Eizellen zur Behandlung von Vulvovaginitis Fontoura Ferreira, Carla Heftet / 2026 / Tysk
Design of Reinforced Concrete Sections Under Bending and Axial Forces Tables and Charts According to EUROCODE 2 Barros, Helena Heftet / 2022 / Engelsk
