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