loop assertion generating system

迴圈斷言生成系統

學術名詞

  • 迴路判定產生系統：資訊