Yuki Sato

	2008
1		Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai: Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA 2008: 171-178

Coauthor Index

1	Akihiro Sakai	[1]
2	Tetsuo Tamai	[1]
3	Naoyasu Ubayashi	[1]