No.31 Argus検証システム: Argus/V

  本ソフトウェアは、現在バージョンアップ修正のため、公開を一時
中止しています。再公開は、平成５年度末の予定です。



No.31 Argus Verification System: Argus/V

This software is now under updateing. Renewal program will be released
aroung the end of March, 1994.