![]() | ![]() |
1992 | ||
---|---|---|
2 | EE | Y. Sato, Y. Morimoto, Tadao Ichikawa: Program Refinement Using Generic Object. SEKE 1992: 18-25 |
1990 | ||
1 | EE | Takao Tenma, Y. Sato, Y. Morimoto, Minoru Tanaka, Tadao Ichikawa: A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. ACM Conference on Computer Science 1990: 154-160 |
1 | Tadao Ichikawa | [1] [2] |
2 | Y. Sato | [1] [2] |
3 | Minoru Tanaka | [1] |
4 | Takao Tenma | [1] |