| |
| 2004 | ||
|---|---|---|
| 2 | Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa: Identifying candidate invariant conditions of running program. IASTED Conf. on Software Engineering and Applications 2004: 577-582 | |
| 1 | Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa: Analyzing Invariant Condition of Running Java Program. SEKE 2004: 350-353 | |
| 1 | Yoshitake Kobayashi | [1] [2] |
| 2 | Mamoru Maekawa | [1] [2] |
| 3 | Ken Nakayama | [1] [2] |