Yuko Kitahama

	2001
1		Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi: Formal Verification of CPU in Laboratory Work. MSE 2001: 32-34

Coauthor Index

1	Teruo Higashino	[1]
2	Akira Kitajima	[1]
3	Kozo Okano	[1]
4	Kenichi Taniguchi	[1]