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