![]() | ![]() |
1997 | ||
---|---|---|
1 | EE | Takeshi Hamaguchi, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa: Algebraic specification with provision for the automatic addition of error descriptions. Systems and Computers in Japan 28(1): 1-9 (1997) |
1 | Kiyoshi Agusa | [1] |
2 | Masahiko Sakai | [1] |
3 | Shinichirou Yamamoto | [1] |