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