ein neues Synonym für ablaufinvariant vorschlagen
Es wurden folgende Einträge für ablaufinvariant gefunden:
Wortgruppe 1:
eintrittsinvariant