Ryosuke Sumitomo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index