Takanori Ugai (ugai@jp.fujitsu.com)
Japanese Page
Profile
My Interesting Research Themes
Formal Description Technique
Software Process
Parallel/Distributed Programming
Software Distribution and Maintainance
Published Papers
Misc
Z FAQ (Japanese)
RAISE FAQ (Japanese)
HOME of formal method (UK)
Home
ugai@jp.fujitsu.com
ugai@se.cs.titech.ac.jp