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