| 2002 | ||
|---|---|---|
| 2 | Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii: Towards the animation of proofs - testing proofs by examples. Theor. Comput. Sci. 272(1-2): 177-195 (2002) | |
| 1998 | ||
| 1 | Susumu Hayashi, Ryosuke Sumitomo: Testing Proofs by Examples. ASIAN 1998: 1-3 | |
| 1 | Susumu Hayashi | [1] [2] |
| 2 | Ken-ichiro Shii | [2] |