ループ不等式

【るーぷふとうしき】

ループ不等式

读成： るーぷふとうしき
中文： 回路不变量、循环不变式、循环不变量