On Describing Terminating Algebraic Specifications Based on Their Models
-
- 緒方 和博
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- On Describing Terminating Algebraic Specifications Based on Their Models
- 著者
- Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
収録刊行物
-
- Proc.of the International MultiConference of Engineers and Computer Scientists 2012
-
Proc.of the International MultiConference of Engineers and Computer Scientists 2012 269-274, 2012