ダウンロード

Title 代数的仕様記述における詳細化 : 特に抽象的順序機械の 場合