プログラム正当性
【ぷろぐらむせいとうせい】
【puroguramuseitousei】
程序正确性
プログラム正当性
【ぷろぐらむせいとうせい】
【puroguramuseitousei】
程式正确性