20th International Workshop on Termination
From Termination-Portal.org
Jump to navigationJump to searchThe 20th Intl. Workshop on Termination will take place at HTWK Leipzig, Germany, in summer 2025. Johannes Waldmann is the local organizer.
- This page was last edited on 31 January 2024, at 17:47.
- About Termination-Portal.org (Impressum)