| |
| 1987 | ||
|---|---|---|
| 3 | Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60 | |
| 1982 | ||
| 2 | Y. Hayasaka, K. Shimotori, K. Okada: Testing System for Redundant Memory. ITC 1982: 240-244 | |
| 1 | T. Tada, T. Kobayashi, K. Okada, Y. Kuramitsu: Testing of Sense Amplifier in Dynamic Memory. ITC 1982: 245-251 | |
| 1 | Kokichi Futatsugi | [3] |
| 2 | Joseph A. Goguen | [3] |
| 3 | Y. Hayasaka | [2] |
| 4 | T. Kobayashi | [1] |
| 5 | Y. Kuramitsu | [1] |
| 6 | José Meseguer | [3] |
| 7 | K. Shimotori | [2] |
| 8 | T. Tada | [1] |