プログラミング言語 AT 統一仕様と実装プログラムの検証プログラマ中心のアプローチの収容によって： どのように我々 は正しく実装されているプログラムを知っている？我々 は、証拠を示すためにプログラマを求めます。
