维基词典

ablaufinvariant

德语 编辑

adj. 出口不变的，（程序）同时可以被执行多次的

来自“https://zh.wiktionary.org/w/index.php?title=ablaufinvariant&oldid=1765772”