Ken-ichiro Shii

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

1 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)

	2002
1		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)

Coauthor Index