ats-lang-anairiats-0.2.3-linux-x86-32.tar.gz (ats-lang-anairiats-0.2.3-linux-x86-32.tar.gz( 外部リンク: SF.net): 3,039,381 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
プログラミング言語 AT 統一仕様と実装プログラムの検証プログラマ中心のアプローチの収容によって： どのように我々 は正しく実装されているプログラムを知っている？我々 は、証拠を示すためにプログラマを求めます。
