| |
| 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] |