時間制約によるAlloy記述の拡張
-
- 結縁 祥治
- 名古屋大学
書誌事項
- タイトル
- 時間制約によるAlloy記述の拡張
- 著者
- 黒板亮太, 結縁祥治
収録刊行物
-
- 信学技法ソフトウェアサイエンス
-
信学技法ソフトウェアサイエンス 113-448 1-6, 2014
信学技法ソフトウェアサイエンス 113-448 1-6, 2014