Anne E. Haxthausen — Books & Biography | Menrva Books | MenrvaBooks

Anne E. Haxthausen

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

Stand Alone

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Journeys Between Formal Methods and the Railway Industry - Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.