Paula Herber profile picture

Paula Herber

Is this your author profile? Create an account to customize it!

Stand Alone

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations