Kenro Yatake

	2008
3		Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80
	2005
2		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
	2004
1		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80

Coauthor Index

1	Toshiaki Aoki	[1] [2]
2	Takuya Katayama	[1] [2] [3]